Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
@magnus-madsen here is a draft of the class file migration path. Most things are probably more complicated than this but it seems like a good path to take
``` import java.lang.Object @Test def example(x: Unit): String \ IO = f(x).toString() def f(x: a): Object = unchecked_cast(x as Object) ``` runnin Flix tests give this ``` FAIL example (java.lang.NullPointerException:...
Observation: If a struct only has immutable fields, then it doesn't need a region and can be treated as pure Right now the fields of a struct can be immutable...
And by safe I mean crashing - safer than silently removing list elements. Cannot be merged before - #10882 - #10881 - #10880 - #10878
We can generate all classes in parallel, except function classes, effect classes, and anon classes (because of their coding style, not anything deep) Between 90 and 300 classes are now...
Doesn not handle `Som.T ~ Oth.T` good - it says `T not T` ish
https://github.com/JonathanStarup/talpin1992-in-flix/tree/err Talpin.Parsing.FlixParser line 31 `and` was changed to `nd` ``` ❌ -- Parse Error (OtherExpr) -------------------------------------------------- file:///c%3A/Users/au568877/docs/github/talpin1992-in-flix/src/Talpin/Parsing/FlixParser.flix >> Expected ')' before . 31 | if (at(";", sc) nd canSemi#canSemi) {...
Reconstruction line 225 is missing an initial paren https://github.com/JonathanStarup/talpin1992-in-flix/tree/err1 ``` ❌ -- Parse Error (OtherExpr) -------------------------------------------------- file:///c%3A/Users/au568877/docs/github/talpin1992-in-flix/src/Talpin/Reconstruction.flix >> Expected '}' before ','. 225 | comp, app(comp)(Type.Arrow(a, z, a1)), Effect.Empty, app(s1)(k...
`spawn e1 @ e2` evaluated e2 first (unless using `spawn e1 @ Static`)