Add :js to some tests so we can check the output

Author: chengluyu

hkmc2/shared/src/test/mlscript/ucs/general/DualOptions.mls

@@ -1,3 +1,5 @@
+:js
+
 // DualOptions.mls
 // ===============
 // Matching two options in any possible order.
@@ -8,7 +10,6 @@ class Some[T](value: T) extends Option[T]
 module None extends Option[nothing]
 class Pair[A, B](x: A, y: B)
 
-// All `add_n` functions should be inferred to have the same type.
 
 fun add_1(x, y) =
   if
@@ -18,9 +19,16 @@ fun add_1(x, y) =
     x is None     and y is None     then 0
 
 add_1(None, None)
+//│ = 0
+
 add_1(Some(5), None)
+//│ = 5
+
 add_1(None, Some(9))
+//│ = 9
+
 add_1(Some(5), Some(9))
+//│ = 14
 
 fun add_2(x, y) =
   if x is
@@ -32,9 +40,16 @@ fun add_2(x, y) =
       None     then 0
 
 add_2(None, None)
+//│ = 0
+
 add_2(Some(5), None)
+//│ = 5
+
 add_2(None, Some(9))
+//│ = 9
+
 add_2(Some(5), Some(9))
+//│ = 14
 
 
 fun add_3(x, y) =
@@ -45,9 +60,16 @@ fun add_3(x, y) =
     Pair(None,     None)     then 0
 
 add_3(None, None)
+//│ = 0
+
 add_3(Some(5), None)
+//│ = 5
+
 add_3(None, Some(9))
+//│ = 9
+
 add_3(Some(5), Some(9))
+//│ = 14
 
 
 :fixme
@@ -72,21 +94,27 @@ fun add_4(x, y) =
 
 :fixme
 add_4(None, None)
-add_4(Some(5), None)
-add_4(None, Some(9))
-add_4(Some(5), Some(9))
 //│ ╔══[ERROR] Name not found: add_4
-//│ ║  l.74: 	add_4(None, None)
+//│ ║  l.96: 	add_4(None, None)
 //│ ╙──      	^^^^^
+
+:fixme
+add_4(Some(5), None)
 //│ ╔══[ERROR] Name not found: add_4
-//│ ║  l.75: 	add_4(Some(5), None)
-//│ ╙──      	^^^^^
+//│ ║  l.102: 	add_4(Some(5), None)
+//│ ╙──       	^^^^^
+
+:fixme
+add_4(None, Some(9))
 //│ ╔══[ERROR] Name not found: add_4
-//│ ║  l.76: 	add_4(None, Some(9))
-//│ ╙──      	^^^^^
+//│ ║  l.108: 	add_4(None, Some(9))
+//│ ╙──       	^^^^^
+
+:fixme
+add_4(Some(5), Some(9))
 //│ ╔══[ERROR] Name not found: add_4
-//│ ║  l.77: 	add_4(Some(5), Some(9))
-//│ ╙──      	^^^^^
+//│ ║  l.114: 	add_4(Some(5), Some(9))
+//│ ╙──       	^^^^^
 
 
 fun add_5(x, y) =
@@ -98,9 +126,16 @@ fun add_5(x, y) =
 
 
 add_5(None, None)
+//│ = 0
+
 add_5(Some(5), None)
+//│ = 5
+
 add_5(None, Some(9))
+//│ = 9
+
 add_5(Some(5), Some(9))
+//│ = 14
 
 
 fun add_6(x, y) =
@@ -111,24 +146,43 @@ fun add_6(x, y) =
     [None,     None]     then 0
 
 add_6(None, None)
+//│ = 0
+
 add_6(Some(5), None)
+//│ = 5
+
 add_6(None, Some(9))
+//│ = 9
+
 add_6(Some(5), Some(9))
+//│ = 14
 
 
-fun p(x) = true
 
 
-// FIXME Remove `case p(x) of true -> 0; _ -> 0`
-fun add_6(x, y) =
+fun add_6(p, x, y) =
   if
     x is Some(xv) and y is Some(yv) then xv + yv
     y is None     and p(x) and x is Some(xv) then 42
     y is None     and x is Some(xv) then xv
     x is None     and y is Some(yv) then yv
     y is None     and x is None     then 0
 
-fun add_7(x, y) =
+
+add_6((x) => true, None, None)
+//│ = 0
+
+add_6((x) => true, Some(5), None)
+//│ = 42
+
+add_6((x) => true, None, Some(9))
+//│ = 9
+
+add_6((x) => true, Some(5), Some(9))
+//│ = 14
+
+
+fun add_7(p, x, y) =
   if
     x is Some(xv) and y is Some(yv) then xv + yv
     // y is None    and p(x) and x is Some(xv) then 42
@@ -137,7 +191,24 @@ fun add_7(x, y) =
     y is Some(yv) and x is None then yv
     y is None     and x is None     then 0
 
-fun add_8(x, y) =
+
+add_7((x) => x > 0, None, None)
+//│ = 0
+
+add_7((x) => x > 0, Some(5), None)
+//│ = 5
+
+add_7((x) => x > 0, None, Some(9))
+//│ = 36
+
+add_7((x) => x > 0, None, Some(-9))
+//│ = -9
+
+add_7((x) => x > 0, Some(5), Some(9))
+//│ = 14
+
+
+fun add_8(p, x, y) =
   if
     x is Some(xv) and y is Some(yv) then xv + yv
     y is None    and p(x) and x is Some(xv) then 42
@@ -147,3 +218,21 @@ fun add_8(x, y) =
     y is None     and x is None     then 0
 
 
+add_8((x) => x > 0, None, None)
+//│ = 0
+
+add_8((x) => true, Some(9), None)
+//│ = 42
+
+add_8((x) => x > 0, Some(5), None)
+//│ = 5
+
+add_8((x) => x > 0, None, Some(9))
+//│ = 36
+
+add_8((x) => x > 0, None, Some(-9))
+//│ = -9
+
+add_8((x) => x > 0, Some(5), Some(9))
+//│ = 14
+

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

@@ -1,31 +1,41 @@
+:js
+
 // We test the support for simple tuple patterns in this file.
 // Splice tuple patterns will be implement in the future.
 
 fun sum(x, y) = x + y
 sum(1, 2)
+//│ = 3
 
 :fixme
 fun sum([x, y]) = x + y
 sum([1, 2])
 //│ /!!!\ Uncaught error: scala.MatchError: Tup(List(Ident(x), Ident(y))) (of class hkmc2.syntax.Tree$Tup)
 
 :ucs desugared
-fun sum''(pair) =
+fun sum(pair) =
   if pair is [x, y] then x + y
-sum''([1, 2])
+sum([1, 2])
 //│ Desugared:
-//│ >  if pair@31 is [$elem0@32, $elem1@33] and
-//│ >    let x@34 = $elem0@32#0
-//│ >    let y@35 = $elem1@33#0
-//│ >    else .+#1(x@34#0, y@35#0)
+//│ >  if pair@33 is [$elem0@34, $elem1@35] and
+//│ >    let x@36 = $elem0@34#0
+//│ >    let y@37 = $elem1@35#0
+//│ >    else .+#1(x@36#0, y@37#0)
+//│ = 3
 
 :ucs desugared
 fun test(thing) =
   if thing is [] then 0
+//│ Desugared:
+//│ >  if thing@44 is [] then 0
+
+:re
 test("")
+//│ ═══[RUNTIME ERROR] Error: match error
+
+:re
 test(12)
-//│ Desugared:
-//│ >  if thing@40 is [] then 0
+//│ ═══[RUNTIME ERROR] Error: match error
 
 :ucs desugared
 class Point(x: Int, y: Int)
@@ -35,18 +45,19 @@ fun discarded_cases(thing) =
     Point(x, y) then x + y
 //│ Desugared:
 //│ >  if
-//│ >    thing@45 is [$elem0@51, $elem1@52] and
-//│ >      let x@53 = $elem0@51#0
-//│ >      let y@54 = $elem1@52#0
-//│ >      else .+#3(x@53#0, y@54#0)
-//│ >    thing@45 is Point($param0@46, $param1@47) and
-//│ >      let x@48 = $param0@46#0
-//│ >      let y@49 = $param1@47#0
-//│ >      else .+#2(x@48#0, y@49#0)
+//│ >    thing@53 is [$elem0@59, $elem1@60] and
+//│ >      let x@61 = $elem0@59#0
+//│ >      let y@62 = $elem1@60#0
+//│ >      else .+#3(x@61#0, y@62#0)
+//│ >    thing@53 is Point($param0@54, $param1@55) and
+//│ >      let x@56 = $param0@54#0
+//│ >      let y@57 = $param1@55#0
+//│ >      else .+#2(x@56#0, y@57#0)
 
 :e
 :todo
 discarded_cases(Point(0, 0))
+//│ = 0
 
 // A workaround is to move the tuple pattern to the last case.
 :ucs desugared
@@ -56,20 +67,22 @@ fun working_cases(thing) =
     [x, y] then x + y
 //│ Desugared:
 //│ >  if
-//│ >    thing@61 is Point($param0@67, $param1@68) and
-//│ >      let x@69 = $param0@67#0
-//│ >      let y@70 = $param1@68#0
-//│ >      else .+#5(x@69#0, y@70#0)
-//│ >    thing@61 is [$elem0@62, $elem1@63] and
-//│ >      let x@64 = $elem0@62#0
-//│ >      let y@65 = $elem1@63#0
-//│ >      else .+#4(x@64#0, y@65#0)
+//│ >    thing@73 is Point($param0@79, $param1@80) and
+//│ >      let x@81 = $param0@79#0
+//│ >      let y@82 = $param1@80#0
+//│ >      else .+#5(x@81#0, y@82#0)
+//│ >    thing@73 is [$elem0@74, $elem1@75] and
+//│ >      let x@76 = $elem0@74#0
+//│ >      let y@77 = $elem1@75#0
+//│ >      else .+#4(x@76#0, y@77#0)
 
 working_cases(Point(0, 0))
+//│ = 0
 
 // However, the `Object` type forbids tuples to be used.
 :todo
 working_cases([0, 0])
+//│ = 0
 
 
 fun not_working(x) =
@@ -80,6 +93,7 @@ fun not_working(x) =
       0
 
 not_working([1, 2, 3])
+//│ = 6
 
-:todo
 not_working([1, 2])
+//│ = 0