diff options
| author | Eduardo Julian | 2017-02-21 18:33:43 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-02-21 18:33:43 -0400 |
| commit | b5783fba01f453f2c165baded5066637405baf2e (patch) | |
| tree | e12e43295369398d126430ad288aa1a86a7ac7e1 /.gitignore | |
| parent | 22b50868848f757b7f03fbd423ed3620ded52273 (diff) | |
- Made some optimizations.
- Compiler can now distinguish between JVM and JS host state.
- Now, complex (with subtyping) type-checking can be done only during JVM compilation.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions