Jakob Schneider
Jakob Schneider
Should I do this? You assigned Holger but it sounds like it's my bug to fix? :)
@magnus-madsen do you think this is acceptable? It seems to be somewhat in range of the others. ```json [ { "name": "InlinerFilterMap10k", "time": 54737958 }, { "name": "InlinerFilterMap10kOptimized", "time": 55349000...
@mlutze would it be possible for you to check that `ConstraintGen` makes sense? Thanks :)
@magnus-madsen should I desugar `ResolvedAst.ExtPat` to `TypedAst.Pattern`? That saves a lot of code and we know for a fact that `ExtPat` is a subset of `Pattern`.
Sounds good. We can always refactor later.
> @jaschdoc How is it going? Any hiccups? Minor hiccup: trying to figure out when error reporting is least annoying...
For the second iteration, we should probably use jump labels in `Simplifier` instead of a big nested `If-Then-Else`, no?
@JonathanStarup now it "works". There is still no way to return an xvar from a function since there is no way to write its type. Maybe that is first priority...
Let's wait for https://github.com/flix/flix/pull/11112