Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2016-10-13 | - Now simplifying the PM paths to get rid of some of the pointless testing ↵ | Eduardo Julian | 1 | -2/+21 | |
that results from ignoring some local bindings. | |||||
2016-10-13 | - No more allocation of unused registers. | Eduardo Julian | 2 | -10/+257 | |
2016-10-11 | - Optimized the compiler code by dealing with the reflection warnings. | Eduardo Julian | 4 | -35/+36 | |
2016-10-11 | - Better error handling with paraller compilation. | Eduardo Julian | 4 | -25/+24 | |
- When issuing re-compilation from the compiler-cache, it's also done in parallel. | |||||
2016-10-11 | - Better log printing. | Eduardo Julian | 4 | -25/+24 | |
2016-10-11 | - Refactored the code. | Eduardo Julian | 4 | -146/+43 | |
2016-10-11 | - Finished a working implementation of parallel compilation, that doesn't ↵ | Eduardo Julian | 8 | -69/+240 | |
rely on core.async. | |||||
2016-10-09 | - Now merging compiler-states pre-and-post module compilation. | Eduardo Julian | 4 | -16/+95 | |
- Added a temporary fix for the survival/accumulation of zombie type-vars. | |||||
2016-10-09 | - Replace _lux_imports with _lux_module by adding module annotations. | Eduardo Julian | 11 | -131/+196 | |
2016-10-03 | - Slight refactoring. | Eduardo Julian | 3 | -28/+27 | |
2016-10-03 | - Simplified type annotations. | Eduardo Julian | 5 | -28/+15 | |
2016-10-03 | - Fixed a bug wherein compiler code was relying on analyzer tags, instead of ↵ | Eduardo Julian | 4 | -14/+15 | |
optimizer tags. | |||||
2016-10-03 | - Renamed "loop" to "iter". | Eduardo Julian | 5 | -52/+54 | |
- Updated compiler version. - Improved project.clj file. | |||||
2016-10-02 | - Now adding cursor information when analysing function/macro calls, to ↵ | Eduardo Julian | 2 | -8/+8 | |
avoid missing cursors during macro-expansions and some function calls. | |||||
2016-10-01 | - Finished adding Frac(tions) [including lexing/parsing]. | Eduardo Julian | 11 | -225/+334 | |
2016-09-30 | - Added (almost) all the operations for implementing fractions in the compiler. | Eduardo Julian | 5 | -113/+624 | |
- Still missing lexing for fractions... | |||||
2016-09-29 | - Fixed a bug that was rejecting class names with underscores and other ↵ | Eduardo Julian | 1 | -1/+1 | |
strange characters. | |||||
2016-09-24 | - Now optimizing the pattern for if/cond expressions. | Eduardo Julian | 3 | -0/+31 | |
2016-09-24 | - Now generating better error messages when trying to use a static/virtual ↵ | Eduardo Julian | 1 | -25/+28 | |
that belongs to a class's parent, instead of the class itself. | |||||
2016-09-24 | - Documented the optimizer module. | Eduardo Julian | 1 | -9/+155 | |
2016-09-24 | - Fixed a bug that allowed modules to refer to definitions of other ↵ | Eduardo Julian | 3 | -24/+37 | |
already-compiled modules without these being imported. | |||||
2016-09-24 | - Now optimizing the record accesses that are characteristic of get@ and ::. | Eduardo Julian | 3 | -0/+64 | |
2016-09-23 | - Lexer now allows , and _ as separators for numbers. | Eduardo Julian | 2 | -3/+13 | |
2016-09-23 | - Added conversions between byte/short and long. | Eduardo Julian | 2 | -25/+61 | |
- Also added conversions between Char and Nat. | |||||
2016-09-23 | - Now using Nat as the type of both VarT and ExT. | Eduardo Julian | 1 | -2/+2 | |
2016-09-23 | - Now showing warnings when trying to use deprecated constructors and methods. | Eduardo Julian | 1 | -5/+9 | |
2016-09-22 | - java.lang.Error and its subclasses don't get checked anymore. | Eduardo Julian | 1 | -1/+2 | |
2016-08-16 | - Improved support for Nat. | Eduardo Julian | 6 | -24/+76 | |
2016-08-14 | - Added support for natural numbers (unsigned integers). | Eduardo Julian | 14 | -24/+363 | |
2016-08-08 | - Added a new compilation mode: REPL. | Eduardo Julian | 6 | -58/+118 | |
- Fixed the REPL. | |||||
2016-08-01 | - Fixed a bug in the analysis of tuples, when the tuple-type is shorter than ↵ | Eduardo Julian | 4 | -161/+161 | |
the tuple-syntax. | |||||
2016-07-30 | - Now storing the name of each scope as a list/stack of name-fragments, to ↵ | Eduardo Julian | 4 | -21/+11 | |
eliminate the need to keep an explicit cache for it. | |||||
2016-07-30 | - Scope-names are no longer being reversed when generated, but only when ↵ | Eduardo Julian | 6 | -54/+26 | |
compiling functions and captured vars. - Now caching scope-names (pre-joining) to ensure all checks needed during pre-scoping are identity checks. | |||||
2016-07-30 | - Now streamlining simple "let" expressions when doing pattern-matching. | Eduardo Julian | 4 | -7/+30 | |
2016-07-29 | - Fixed a bug in the way type-adjustment happens during pattern-matching, in ↵ | Eduardo Julian | 4 | -71/+210 | |
which the handing of universal quantification and type-vars was done improperly and caused the wrong type-vars to show up in the wrong places. - Fixed a bug in the type-checking of function application, in which, if the result of an apply was a universally-quantified value, the type wasn't actually universally-quantified, even though the BoundTs had been added to it. - Fixed a bug in the way the "loop" optimized-AST was compiled, which sometimes caused miscalculation, due to premature rebinding of variables. - Now also cleaning ExQ. | |||||
2016-07-26 | - A module's hash is also stored in the Compiler state and in the cached ↵ | Eduardo Julian | 5 | -99/+114 | |
classes, to check for inconsistencies in the dependencies when loading cached modules. | |||||
2016-07-24 | - Improved error messages in analyser by adding cursor. | Eduardo Julian | 1 | -40/+23 | |
2016-07-24 | - Added the [bit count] procedure. | Eduardo Julian | 2 | -1/+22 | |
2016-07-23 | - Fixed a bug in which the signatures for multi-parameter generic classes ↵ | Eduardo Julian | 2 | -6/+6 | |
where getting spaces between the parameter signatures, which is invalid. - Type-errors now include cursor information. | |||||
2016-07-23 | - Added object/reference/pointer testing. | Eduardo Julian | 2 | -0/+36 | |
2016-07-19 | - Fixed the bug in the optimizer that was causing some functions to end up ↵ | Eduardo Julian | 2 | -38/+62 | |
with the same name. | |||||
2016-07-13 | - Optimized the type-checker slightly by now using a 2-tuple for the ↵ | Eduardo Julian | 2 | -24/+23 | |
results, but instead just returning the fixpoints. | |||||
2016-07-13 | - Added bitwise operations. | Eduardo Julian | 2 | -0/+86 | |
2016-07-11 | - Renamed LuxUtils to LuxRT. | Eduardo Julian | 5 | -35/+35 | |
- Fixed a bug in _lux_proc ["array" "get"]. | |||||
2016-07-10 | - The compiler no longer complains about not catching RuntimeException and ↵ | Eduardo Julian | 4 | -37/+68 | |
it's derivatives. - Fixed a bug that cause the exception-handling scope of an outer function or method to be treaded as part of the exception-handling scope of an inner one. - The return-type of ["jvm" "throw"] is now Bottom. - Improved error messages coming from lux.base, by adding cursor data. | |||||
2016-07-01 | - Small fixes to reader & type-system. | Eduardo Julian | 1 | -10/+4 | |
- Test suites for reader, lexer and parser got updated. - Added unit-tests for type-system. | |||||
2016-06-19 | - Fixed a bug in the way type-vars were flowing when type-checking JVM ↵ | Eduardo Julian | 1 | -8/+8 | |
method calls. | |||||
2016-06-13 | - Implemented a procedure for loading JVM classes. | Eduardo Julian | 2 | -0/+24 | |
2016-06-13 | - Removed all the unnecessary stack-frame descriptors. | Eduardo Julian | 1 | -15/+0 | |
2016-06-13 | - Now avoiding unnecessary pops of the pattern-matching stack/cursor. | Eduardo Julian | 1 | -3/+11 | |