Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
I like that approach. It is however a bit taxing since you cant do `use flix._` and we don't have editor support for uses :L
We have had a handful of issues like this and because our parser framework does not allow error-correction heuristics (like if the expression cannot parse, try adding `;` at the...
@magnus-madsen @mlutze opinions?
So by using effects you mean that they are used to interface with external things (Server/CLI/UI/..) and not as a programming pattern (exceptions/backtracking/..)?
I think - other than a practical issue about nullpointer - there is also a question of whether the Flix effect `Console` represents a console like `System.console` or whether it...
Because the example is gone or? None of the Console stuff has been fixed.
maybe introduce `LocalDefSym` and `LocalDefSymUse`?
I don't think its that bad. They downside currently is that any given `ApplyLocalDef` can be malformed because its just a varsym and they can be mistaken for eachother
I think matt wrote it? it was born to check things that the later verifier cannot verify, like instances. this would avoid ugly monomorph crashes/faulty erasure
Since it is indeed frontend, it doesn't take much work to append errors into a shared context list?