diff options
Diffstat (limited to 'test/c')
| -rw-r--r-- | test/c/enum_match.sail | 3 | ||||
| -rwxr-xr-x | test/c/run_tests.sh | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/test/c/enum_match.sail b/test/c/enum_match.sail index 591e2695..6c04d9dc 100644 --- a/test/c/enum_match.sail +++ b/test/c/enum_match.sail @@ -1,7 +1,8 @@ val "eq_anything" : forall ('a : Type). ('a, 'a) -> bool +val eq_atom = {ocaml: "eq_int", lem: "eq", c: "eq_int"} : forall 'n 'm. (atom('n), atom('m)) -> bool -overload operator == = {eq_anything} +overload operator == = {eq_atom, eq_anything} val print = "print_endline" : string -> unit diff --git a/test/c/run_tests.sh b/test/c/run_tests.sh index 930c5bc8..e85881f5 100755 --- a/test/c/run_tests.sh +++ b/test/c/run_tests.sh @@ -75,7 +75,7 @@ do red "compiling $file" "fail" fi; rm -f ${file%.sail}.c - rm -r ${file%.sail}.result + rm -f ${file%.sail}.result done finish_suite "C testing" |