unexpectedly fixed an old bug?

Author: Chronarak

hkmc2/shared/src/test/mlscript/backlog/UCS.mls

@@ -81,18 +81,10 @@ if
 let audits = new Set()
 //│ audits = Set{}
 
-:fixme
 if audits.has(1) === true do
   print("ok")
 else
   1
-//│ ╔══[ERROR] The following branches are unreachable.
-//│ ╟── Because the previous split is full.
-//│ ║  l.85: 	if audits.has(1) === true do
-//│ ║        	   ^^^^^^^^^^^^^^^^^^^^^^^^^
-//│ ║  l.86: 	  print("ok")
-//│ ╙──      	^^^^^^^^^^^^^
-//│ = 1
 
 // ——— ——— ———
 
@@ -116,7 +108,7 @@ class Some(val v)
 Some(1) is
   Some of [process, rest] do "hi"
 //│ ╔══[ERROR] Unrecognized pattern (infix operator)
-//│ ║  l.117: 	  Some of [process, rest] do "hi"
+//│ ║  l.109: 	  Some of [process, rest] do "hi"
 //│ ╙──       	          ^^^^^^^^^^^^^^^^^^^^^^^
 //│ = false
 
@@ -166,10 +158,10 @@ let foo =
   case
     Tuple(...elements) then elements
 //│ ╔══[ERROR] mismatched arity: expect 3, found 1
-//│ ║  l.167: 	    Tuple(...elements) then elements
+//│ ║  l.159: 	    Tuple(...elements) then elements
 //│ ╙──       	    ^^^^^^^^^^^^^^^^^^
 //│ ╔══[ERROR] Unrecognized pattern (spread)
-//│ ║  l.167: 	    Tuple(...elements) then elements
+//│ ║  l.159: 	    Tuple(...elements) then elements
 //│ ╙──       	             ^^^^^^^^
 //│ foo = [function]
 
@@ -187,28 +179,28 @@ fun foo(x) = if x is Foo.
   Bar then "Bar"
   Foo then "Foo"
 //│ ╔══[ERROR] Unrecognized pattern split.
-//│ ║  l.186: 	fun foo(x) = if x is Foo.
+//│ ║  l.178: 	fun foo(x) = if x is Foo.
 //│ ╙──       	                     ^^^
 //│ ╔══[ERROR] Cannot use this identifier as an extractor
-//│ ║  l.186: 	fun foo(x) = if x is Foo.
+//│ ║  l.178: 	fun foo(x) = if x is Foo.
 //│ ╙──       	                        ^
 //│ ╔══[ERROR] Cannot use this identifier as an extractor
-//│ ║  l.186: 	fun foo(x) = if x is Foo.
+//│ ║  l.178: 	fun foo(x) = if x is Foo.
 //│ ╙──       	                        ^
 
 fun foo(x) = if x is Foo
   .Bar then "Bar"
   .Foo then "Foo"
 //│ ╔══[PARSE ERROR] Expected an expression; found selector instead
-//│ ║  l.200: 	  .Bar then "Bar"
+//│ ║  l.192: 	  .Bar then "Bar"
 //│ ╙──       	  ^^^^
 //│ ╔══[PARSE ERROR] Unexpected selector here
-//│ ║  l.200: 	  .Bar then "Bar"
+//│ ║  l.192: 	  .Bar then "Bar"
 //│ ╙──       	  ^^^^
 //│ ╔══[ERROR] Unrecognized pattern split.
-//│ ║  l.199: 	fun foo(x) = if x is Foo
+//│ ║  l.191: 	fun foo(x) = if x is Foo
 //│ ║         	                     ^^^
-//│ ║  l.200: 	  .Bar then "Bar"
+//│ ║  l.192: 	  .Bar then "Bar"
 //│ ╙──       	^^
 
 // ——— ——— ———