| Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ Small optimizations for pattern-matching generation.
|
|
|
|
|
|
|
|
|
|
|
|
array types.
|
|
type is unknown.
|
|
+ Some bug fixes.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
abstract methods are implemented, and no new methods (that is to say, non-overriden methods) are introduced.
|
|
* WIP: Implementation of completeness testing for anonymous classes.
|
|
the dummy argument being used in any meaningful way.
|
|
|
|
|
|
|
|
|
|
+ Some progress on anonymous classes.
+ More elaborate handling of JVM arrays.
|
|
|
|
|
|
|
|
in "lux/target/jvm/type".
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"_jvm_this".
|
|
- Generalized "Safety" and "Privacy" as instances of "Policy".
|
|
|
|
|