Matthew Lutze
Matthew Lutze
@jaschdoc This last one is fixed by https://github.com/flix/flix/pull/3512
#### Program: (Sorry, lots of dependencies not provided) ``` enum Thing(String, Int32) with Eq enum Thing2(String, Option[Int32]) with Eq instance ToJson[Thing2] { pub def toJson(x: Thing): JsonElement = { let...
### Program: ```scala def asdfasdf(): Unit \ IO = { let x: ##java.util.List = ???; let _ = new ##java.lang.Object {} == x; ??? } ``` ### Error: ``` ❌...
> 2. If `t` or the result of applying `Trait.sig` to `t` contains an associated type of `Trait` then we must check if there is an equality constraint of the...
> @mlutze Is it even possible to resolve associated types before monomorphization? Yes, we do it in the typer, though some must be left abstract
> > @mlutze Is it even possible to resolve associated types before monomorphization? > > As far as I understand, if there is a call to a trait signature, then...
What's wrong with AUTHORS.md?
Improved integration with VSCode would be very nice.
Also: being principled on use of stdout vs. stderr
> > Improved integration with VSCode would be very nice. > > Could you expand on this? E.g., is this related to the settings in VSCode, running commands as actions...