diff options
| author | Eduardo Julian | 2016-05-21 13:55:14 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-05-21 13:55:14 -0400 |
| commit | 0f110f4b904f64a1c79928be2f62dbffcf699ff5 (patch) | |
| tree | 422bf2e6a8819c4bcc1be22827943d18564552f8 /.gitignore | |
| parent | 78eb074356a524248c3bac97ab2c9fbbe0d139b9 (diff) | |
- Fixed a bug in which it was impossible to pattern-match against existentially-qualified types.
- Improved error-reporting.
- When loading a class post-compilation, the ClassLoader kept referring to the previous dummy version used during analysis, which meant the real class, with it's code, couldn't be used at compile time. Fixed this (with a hack, sadly...).
- Fixed a bug in which using JVM type-vars with top-bounds different from java.lang.Object was not getting acknowledged by the compiler, and resulted in incorrect signatures for methods.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions