Jakob Schneider
Jakob Schneider
Did we finish this or are there other functions that still need to be simplified?
See https://github.com/flix/flix/issues/10518#issuecomment-3206202676 for CPS overview
This works now. ```scala def main(): Unit \ IO = { ematch xvar Edge((1, 2)) { case Edge(x) => println(x) } } ```
> This is not to be merged until there has been further discussion. Yeah, didn't mean to approve for merge. Just wanted to approve specific changes :)
> We can warn the user that a while body is pure, or that the condition has no side effects. And that variables in the condition do not occur in...
I'm going through this phase by phase, so you can tell by the latest linked PR. Right now I have a draft for `Resolver`.
The order is the same as the compiler phases, from lexer to last backend phase
Yes looks good :)
What about changing the return type to `(XAst.Root, Iterable[XError])` so we avoid the `toList` on `sctx.error.asScala.toList`? Maybe it's not that expensive really since most of the time it's just `Nil`...
Haha okay I didn't know that about `Iterable`