Update HeungTung.mls

auht · web-flow · commit bbd8f9b435df · 2024-09-23T20:33:57.000+08:00
diff --git a/shared/src/test/diff/nu/HeungTung.mls b/shared/src/test/diff/nu/HeungTung.mls
@@ -500,7 +500,7 @@ fun u: {x:0, y:Int} -> Int & {x:1, z: Str} -> Str
 fun s: Str -> Str & AA -> AA
 //│ fun s: Str -> Str & AA -> AA
 
-:e // FIXME
+:e
 let g = x => s(r(x))
 //│ ╔══[ERROR] ambiguous
 //│ ╟── cannot determine satisfiability of type ?a
