Chanattan
Chanattan
> > The base should work, now `checkJavaSubtype` instead of `checkEq` seems indeed weaker but stronger in that it requires a Java (class) comparison. That is why we have so...
> We can skip the verifier check if it is varargs. May we add a flag to ArrayLit or create an equivalent operation so that it gets ignored? I believe...
> > > We can skip the verifier check if it is varargs. > > > > > > May we add a flag to ArrayLit or create an equivalent...
> @chanattan @mlutze What's the status on this? I’m off this weekend but I am working on it. Then subtyping tests, then refactoring STL, then dot parsing. Everything is supposed...
Ok I need to fix something.
Since there may be interfaces, e.g., `java.util.Map` that have no superinterfaces and re-implement some methods from Object I have added this short fix that is applied in certain cases, considering...
I am waiting for @mlutze's review. It should be working otherwise, but I should probably add some null test cases.
Ah yes... Thank you.
Ah right I understand now. So this will have to wait until we have array support.
Oh. It seems some tests are failing indirectly, looks like a parsing issue since it takes in types such as `exists`. WIP.