Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
now `x.f` and `(exp..).f` parses as a `GetField2`. This always gives `TypeError.FieldNotFound` since resolution is left as a TODO
Fixes #7495
```flix def example(rc: Region[r]): Int32 = { let _r = Ref.fresh(rc, 42); 42 } ``` ``` >> Unable to unify the effect formulas: 'Pure' and 'r'. 2 | let _r...
``` def example(): Unit \ SomeEffect = checked_ecast(()) ``` This program has the errors ``` -- Resolution Error -------------------------------------------------- [...]\test.flix >> Undefined type 'SomeEffect'. 8 | def example(): Unit \...
Right now orphan rules require that instances occur besides enums instead of inside their companion module
Due prompy by @LionelMeli in #7789 there is a problem with exported functions in one level of modules - Add tests that verify this issue and enforce it after the...
If you write ``` def example(): Int32 \ {} = region local { let r = Ref.fresh(local, 1); r } ``` You only get the error that `local != {}`...
``` type alias Magic def f(): Magic = ??? def main(): Int32 = 32 ``` This works and runs