collection of small fixes from running runtime tests with -Xcomp
rwestrel at redhat.com
Wed Mar 15 15:37:37 UTC 2017
> Currently, an L-type and the matching Q-type have the same memory
> layout, so we could treat them as being the same. But by starting to
> doing so we'll most likely encounter some difficult-to-trace errors. So
> I'm more for bailing out compilations (or updating the type system to
> consider Q-types as subclasses of java.lang.Object).
The problem in my case was that the root of the compilation is a lambda
form which takes and object argument but is passed a value type. There's
no way in that case to know at compile time that what is passed is a
value type so no way to bail out.
More information about the valhalla-dev