diff options
| -rw-r--r-- | test/mono/varmatch.sail | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/test/mono/varmatch.sail b/test/mono/varmatch.sail index c3c2994d..479abea2 100644 --- a/test/mono/varmatch.sail +++ b/test/mono/varmatch.sail @@ -1,5 +1,8 @@ -val operator & = "and_bool" : (bool, bool) -> bool -val operator == = {ocaml: "(fun (x, y) -> x = y)", lem: "eq"} : forall ('a : Type). ('a, 'a) -> bool +$include <flow.sail> + +val eq_all = {ocaml: "(fun (x, y) -> x = y)", lem: "eq"} : forall ('a : Type). ('a, 'a) -> bool +overload operator == = {eq_all} + /* Check that when we case split on a variable that the constant propagation handles the default case correctly. */ |