diff options
| author | Eduardo Julian | 2016-04-16 17:57:06 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-04-16 17:57:06 -0400 |
| commit | 011842da545d20721d3868ccd8992cb5b883eed3 (patch) | |
| tree | da3c693643df12b0a12acdd7abb84f5dd16f9898 /.gitignore | |
| parent | 6081db0c1d9d9ca140809d9685f26cb2675b0318 (diff) | |
- The REPL no longer dies as soon as the first error happens.
- Writing "exit" in the REPL, kills it.
- Fixed a bug wherein checking the presence of multiple methods with the same name being implemented, the names would overwrite each other and make some methods become impossible to check.
- Fixed an error when type-checking parameterized host types.
- Fixed a bug when loading the .lux files in JARs in the class-path.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions