Start resurrecting monomorphisation tests

1 files changed, 13 insertions, 8 deletions

diff --git a/test/mono/varmatch.sail b/test/mono/varmatch.sail
index 7d2b9b73..279c16be 100644
--- a/test/mono/varmatch.sail
+++ b/test/mono/varmatch.sail
@@ -1,16 +1,21 @@
-(* Check that when we case split on a variable that the constant propagation
-   handles the default case correctly. *)
+val operator & = "and_bool" : (bool, bool) -> bool
+val operator == = {ocaml: "(fun (x, y) -> x = y)", lem: "eq"} : forall ('a : Type). ('a, 'a) -> bool
 
-typedef AnEnum = enumerate { One; Two; Three }
+/* Check that when we case split on a variable that the constant propagation
+   handles the default case correctly. */
 
-function AnEnum foo((AnEnum) x) = {
-  switch (x) {
-  case One -> Two
-  case y -> y
+enum AnEnum = One | Two | Three
+
+val foo : AnEnum -> AnEnum
+
+function foo(x) = {
+  match (x) {
+  One => Two,
+  y => y
   }
 }
 
-val unit -> bool effect pure run
+val run : unit -> bool
 
 function run () = {
   foo(One) == Two &