more tests

Author: Florent Ferrari

hkmc2/shared/src/test/mlscript/ucs/patterns/ConjunctionPattern.mls

@@ -1,8 +1,12 @@
 :js
+import "../../../mlscript-compile/Stack.mls"
+
+open Stack
 
 
 object A
 object B
+data class C(a)
 
 if A is
     A & A & B then 0
@@ -11,26 +15,88 @@ if A is
     else 3
 //│ = 2
 
-:e
 if A is
     A & A & B then 0
     B & A & B then 1
     A & A & A then 2
     else 3
 //│ = 2
-//│ FAILURE: Unexpected lack of type error
 
 :sjs
 :todo
 if A is
     A & y then y
     else 0
 //│ ╔══[ERROR] The following branches are unreachable.
-//│ ║  l.27: 	    else 0
+//│ ║  l.29: 	    else 0
 //│ ║        	         ^
 //│ ╟── Because the previous split is full.
-//│ ║  l.26: 	    A & y then y
+//│ ║  l.28: 	    A & y then y
 //│ ╙──      	               ^
 //│ JS (unsanitized):
 //│ let scrut2, y; scrut2 = A1; if (scrut2 instanceof A1.class) { y = scrut2; y } else { 0 }
 //│ = A
+
+fun range(i, j) =
+    if i > j then Nil
+    else i :: range(i+1, j)
+
+fun suffixes(l) = if l is
+    Nil then Cons(Nil, Nil)
+    l & (_ :: tl) then l :: suffixes(tl)
+
+suffixes(range(0, 5))
+//│ = Cons(Cons(0, Cons(1, Cons(2, Cons(3, Cons(4, Cons(5, Nil)))))), Cons(Cons(1, Cons(2, Cons(3, Cons(4, Cons(5, Nil))))), Cons(Cons(2, Cons(3, Cons(4, Cons(5, Nil)))), Cons(Cons(3, Cons(4, Cons(5, Nil))), Cons(Cons(4, Cons(5, Nil)), Cons(Cons(5, Nil), Cons(Nil, Nil)))))))
+
+suffixes(range(0, -1))
+//│ = Cons(Nil, Nil)
+
+suffixes(range(0, 0))
+//│ = Cons(Cons(0, Nil), Cons(Nil, Nil))
+
+if 5 is a & b & c then a+b+c
+//│ = 15
+
+:e
+fun foo(x) = if x is
+    {a:_ & a} & C and
+        a is 1 then 10
+        a is 2 then 20
+        else 30
+    else 40
+//│ ╔══[ERROR] The following branches are unreachable.
+//│ ║  l.66: 	    else 40
+//│ ║        	         ^^
+//│ ╟── Because the previous split is full.
+//│ ║  l.62: 	    {a:_ & a} & C and
+//│ ║        	                ^^^^^
+//│ ║  l.63: 	        a is 1 then 10
+//│ ║        	^^^^^^^^^^^^^^^^^^^^^^
+//│ ║  l.64: 	        a is 2 then 20
+//│ ║        	^^^^^^^^^^^^^^^^^^^^^^
+//│ ║  l.65: 	        else 30
+//│ ║        	^^^^^^^^^^^^^^^
+//│ ║  l.66: 	    else 40
+//│ ╙──      	^^^^^^^^^^^
+
+foo(C(1))
+//│ = 40
+
+foo(4)
+//│ = 40
+
+:ucs desugared
+:ucs normalized
+C(1) is C & {:a}
+//│ FAILURE: Unexpected type error
+//│ FAILURE LOCATION: ++ (Desugarer.scala:95)
+//│ ╔══[ERROR] The following branches are unreachable.
+//│ ╙── Because the previous split is full.
+//│ Normalized:
+//│ >  if
+//│ >    let $scrut = member:C#666(1)
+//│ >    $scrut is C and
+//│ >      let a = $scrut#1
+//│ >      else true
+//│ >    else false
+//│ = true