Name resolution on fully qualified names broken

[kach]

$ ./bin/ergotop
Welcome to ERGOTOP version 0.2.0
ergo$ return ~clause.io {};
Response. ~clause.io {}
  :  {emit: Unit[], response: ~clause.io, state: Unit}?
ergo$ 

[kach]

To be clear, this seems to be an issue with fully-qualified names, only. It does the right thing with non-fully-qualified names.

$ ./bin/ergotop
Welcome to ERGOTOP version 0.2.0
ergo$ return Donut {};
[CompilationError at line 1 col 7] Cannot find type with name 'Donut'
return Donut {};
       ^^^^^^^^ 

[jeromesimeon]

Thanks for the report. We should add name resolution on already resolved names! Or some kind of scoping for type references.

[jeromesimeon]

In PR #464

$ ./bin/ergotop
Welcome to ERGOTOP version 0.4.3
ergo$ return ~clause.io {}
Compilation error (at line 1 col 7). Cannot find namespace 'clause'
return ~clause.io {}
       ^^^^^^^^^^^^^
ergo$ return Donut {}
Compilation error (at line 1 col 7). Cannot find type with name 'Donut'
return Donut {}
       ^^^^^^^^
ergo$ return Request {}
Compilation error (at line 1 col 7). Cannot find type with name 'Request'
return Request {}
       ^^^^^^^^^^
ergo$ return ~org.accordproject.cicero.runtime.Request{}
Response. ~org.accordproject.cicero.runtime.Request{} : ~org.accordproject.cicero.runtime.Request
ergo$ return ~org.foo.Request{}
Compilation error (at line 1 col 7). Cannot find namespace 'org.foo'
return ~org.foo.Request{}
       ^^^^^^^^^^^^^^^^^^
ergo$ return ~org.accordproject.cicero.runtime.Donut{}
Compilation error (at line 1 col 7). Cannot find type with name 'Donut'
return ~org.accordproject.cicero.runtime.Donut{}
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^