Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
Just to do the same thing with clearer design. Matt hit some bugs while tinkering with inference, provoking the redesign
But what if we rename it to something more specific? I feel like solve is a prime keyword to reserve for a niche operation
In the generated code its pretty clear why 😄 ``` public final Cont%Obj invoke() { Object var1 = this.arg0; this.result = Unit.INSTANCE; return null; } ```
* An overall point: All these are used in combination with another keyword, do they actually have to be reserved words? when `query` and `import` are reserved do these combinations...
i think empty implies a single reusued object and feels slightly weird for mutable objects
New is already not a keyword according to https://github.com/flix/flix/issues/7331 right? or is new also used in other places?
Then we can use `java_new` both places perhaps. but otherwise i guess empty is the best option
@magnus-madsen how do you think we shoud solve it? is it too much to have verifier be able to return anytype (different from the monodefs anytime). The visitExpr function could...
The issue is that its the `tpe` of applyDef/Clo that is wrong, so any call to visitExp might return the wrong type and the inside apply doesn't know that the...
Alternative solution was made #7564