diff options
Diffstat (limited to 'test/c/enum_match.sail')
| -rw-r--r-- | test/c/enum_match.sail | 3 |
1 files changed, 2 insertions, 1 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 |