Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
Yeah they are missing from there. Is it autogenerated?
We pull from `src/java.base/share/classes` but the classes I need are in `src/java.desktop/share/classes/`. There is also a bunch of other modules (https://docs.oracle.com/en/java/javase/22/docs/api/) should we include all of them?
Fixed in #6961
@magnus-madsen I think this is important but maybe we should still wait until sets are in?
it still uses post checking for type escaping (from what ive discussed with matt)
If the returned type of a region is `Array[Int32, r]` how does levels help?
So that means that `Univ - r` would be flagged as an escape? since its a syntactic unification trigger?
- This is enough to break soundness/safety in a formalization so it seems nice to figure out the correct thing - As you said, its syntactic, so levels would not...
I think this is a good enough plan long term, but I can progress with monomorpher by creating TypeConstructor.SimpleArray and TypeConstructor.SimpleArrow instead?
there is actual errors right now because the verifier has more information we could do that yes, but we can also go another way with monomorph. you want this approach...