Enable remaining gen tests

This commit is contained in:
Ayaz Hafiz 2022-10-10 15:46:07 -05:00
parent 99f097ddb5
commit 43086a7e25
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 1 additions and 3 deletions

View file

@ -96,7 +96,6 @@ fn neq_f64() {
#[test] #[test]
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm"))] #[cfg(any(feature = "gen-llvm", feature = "gen-wasm"))]
#[ignore = "must support Eq on Bool directly"]
fn eq_bool_tag() { fn eq_bool_tag() {
assert_evals_to!( assert_evals_to!(
indoc!( indoc!(
@ -114,7 +113,6 @@ fn eq_bool_tag() {
#[test] #[test]
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm"))] #[cfg(any(feature = "gen-llvm", feature = "gen-wasm"))]
#[ignore = "must support Eq on Bool directly"]
fn neq_bool_tag() { fn neq_bool_tag() {
assert_evals_to!( assert_evals_to!(
indoc!( indoc!(

View file

@ -3499,7 +3499,7 @@ fn list_walk_backwards_implements_position() {
r#" r#"
Option a : [Some a, None] Option a : [Some a, None]
find : List a, a -> Option Nat find : List a, a -> Option Nat | a has Eq
find = \list, needle -> find = \list, needle ->
findHelp list needle findHelp list needle
|> .v |> .v