Move All Resolution to the Resolution Stage

hkmc2/shared/src/test/mlscript/codegen/FunnyOpen.mls

@@ -3,70 +3,70 @@
 
 module Mod with
   fun print(x) = console.log(x)
-  fun (|>) pipe(x, f) = f(x)
+  fun (|>>) pipee(x, f) = f(x)
 
 :ctx
 open Mod
 //│ Env:
-//│   pipe -> SelElem(RefElem(member:Mod),pipe,Some(member:pipe),true)
+//│   pipee -> SelElem(RefElem(member:Mod),pipee,Some(member:pipee),true)
 //│   print -> SelElem(RefElem(member:Mod),print,Some(member:print),true)
-//│   |> -> SelElem(RefElem(member:Mod),pipe,Some(member:pipe),true)
+//│   |>> -> SelElem(RefElem(member:Mod),pipee,Some(member:pipee),true)
 
-pipe
-//│ = [function pipe]
+pipee
+//│ = [function pipee]
 
-(|>)
-//│ = [function pipe]
+(|>>)
+//│ = [function pipee]
 
-|>
-//│ = [function pipe]
+|>>
+//│ = [function pipee]
 
 :pe
 :e
-Mod.|>
+Mod.|>>
 //│ ╔══[PARSE ERROR] Expected start of statement in this position; found end of input instead
-//│ ║  l.26: 	Mod.|>
-//│ ╙──      	      ^
-//│ ╔══[ERROR] Name not found: .|>
-//│ ║  l.26: 	Mod.|>
-//│ ╙──      	   ^^^
+//│ ║  l.26: 	Mod.|>>
+//│ ╙──      	       ^
+//│ ╔══[ERROR] Name not found: .|>>
+//│ ║  l.26: 	Mod.|>>
+//│ ╙──      	   ^^^^
 //│ ╔══[ERROR] Unexpected moduleful reference.
-//│ ║  l.26: 	Mod.|>
+//│ ║  l.26: 	Mod.|>>
 //│ ╙──      	^^^
 
 
-1 |> x => print(x)
+1 |>> x => print(x)
 //│ > 1
 
 
 :pe
 :e
-open Mod { |> }
+open Mod { |>> }
 //│ ╔══[PARSE ERROR] Expected start of statement in this position; found end of input instead
-//│ ║  l.44: 	open Mod { |> }
-//│ ╙──      	              ^
+//│ ║  l.44: 	open Mod { |>> }
+//│ ╙──      	               ^
 //│ ╔══[ERROR] Illegal 'open' statement shape.
-//│ ║  l.44: 	open Mod { |> }
-//│ ╙──      	     ^^^^^^^^^
+//│ ║  l.44: 	open Mod { |>> }
+//│ ╙──      	     ^^^^^^^^^^
 
 
 :e
-open Mod { (|>) }
+open Mod { (|>>) }
 //│ ╔══[ERROR] Illegal 'open' statement element.
-//│ ║  l.54: 	open Mod { (|>) }
-//│ ╙──      	           ^^^^
+//│ ║  l.54: 	open Mod { (|>>) }
+//│ ╙──      	           ^^^^^
 
-12 |> print
+12 |>> print
 //│ > 12
 
 
-open Mod { print, |> }
+open Mod { print, |>> }
 
 :fixme
-12 |> print
-//│ ╔══[ERROR] Module 'Mod' does not contain member '|>'
-//│ ║  l.66: 	12 |> print
-//│ ╙──      	   ^^
-//│ ═══[RUNTIME ERROR] TypeError: Mod1.|> is not a function
+12 |>> print
+//│ ╔══[ERROR] Module 'Mod' does not contain member '|>>'
+//│ ║  l.66: 	12 |>> print
+//│ ╙──      	   ^^^
+//│ ═══[RUNTIME ERROR] TypeError: Mod1.|>> is not a function
 
 

hkmc2/shared/src/test/mlscript/ctx/TrickyResolution.mls

@@ -0,0 +1,28 @@
+:js
+
+
+class Foo[A]
+class Bar[B]
+
+
+:fixme
+fun foo[A](using Foo[A], Bar[A])
+//│ /!!!\ Uncaught error: scala.MatchError: App(Ident(Bar),TyTup(List(Ident(A)))) (of class hkmc2.syntax.Tree$App)
+
+
+fun foo[A](using f: Foo[A], b: Bar[A]): A
+
+use Foo[Str] = new Foo
+use Foo[Int] = new Foo
+
+use Bar[Int] = new Bar
+use Bar[Str] = new Bar
+
+
+// * Probably picks A = Int due to the Foo constraint, picking up the latest-defined Foo instance,
+// * and thus picks the Bar[Int] instance
+:fixme
+foo
+//│ /!!!\ Uncaught error: hkmc2.InternalError: Not in scope: member:foo (class hkmc2.semantics.BlockMemberSymbol)
+
+