Jakob Schneider
Jakob Schneider
Check out https://github.com/flix/flix/pull/12166
> @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 it requires an...
It now tries to look up the associated type, but aborts if there is a single type variable in the type. The `checked_cast` check now tries to unpack the associated...
Should we consider renaming `paranoid` to `pure` or something else? Brainstorm: `boxed`, `isolated`, `primitive`, `none`, `base`, `base-only`.
> (Optional: We can add an extra check that plain packages cannot even reference Java types anywhere). We now have that you are not allowed to import anything or have...
Effect upgrade and locking
I think so. @magnus-madsen never really decided on one or the other
Yes, but it's also a minor refactor.
> Would the more luxury version show a screenshot of code in VSCode? To implicitly demonstrate that we have IDE support :) Possibly just a getting started section in the...
I tried refactoring `Typer` to what you said but that quickly became messy so I am opening another PR that refactors `Typer` to use `SharedContext`