Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Improved the way resources and source code are handled. | Eduardo Julian | 2016-10-25 | 3 | -41/+62 |
| | |||||
* | - Variant tag indices are now nats, instead of ints. | Eduardo Julian | 2016-10-24 | 2 | -2/+2 |
| | |||||
* | - Added an extra rule to the type-checker to avoid some stack-overflow errors. | Eduardo Julian | 2016-10-21 | 1 | -0/+4 |
| | |||||
* | - Added code for handling some corner cases in the type-checker. | Eduardo Julian | 2016-10-20 | 1 | -7/+22 |
| | |||||
* | - Improved the way iter works (WRT the register offset). | Eduardo Julian | 2016-10-19 | 3 | -60/+169 |
| | | | - Fixed some bugs of how the loop-transform was working. | ||||
* | Merge branch 'master' into inline_loop | Eduardo Julian | 2016-10-19 | 2 | -37/+47 |
|\ | |||||
| * | - The compiler didn't know how to compile frac PM. Added the code. | Eduardo Julian | 2016-10-15 | 1 | -28/+27 |
| | | | | | | - Did some minor refactoring of PM compilation. | ||||
| * | - Shifted the burden of not having null values inside variants from the ↵ | Eduardo Julian | 2016-10-15 | 1 | -9/+20 |
| | | | | | | | | language to library code. | ||||
* | | Merge branch 'master' into inline_loop | Eduardo Julian | 2016-10-14 | 2 | -11/+9 |
|\| | |||||
| * | - Slightly cheaper compilation of numeric literals. | Eduardo Julian | 2016-10-14 | 2 | -11/+9 |
| | | |||||
* | | - Now compiling loop expressions (but having trouble with the variable ↵ | Eduardo Julian | 2016-10-13 | 5 | -36/+198 |
| | | | | | | | | indices inside the loop bodies). | ||||
* | | - Now detecting the conditions for inlining a loop. | Eduardo Julian | 2016-10-13 | 1 | -28/+110 |
|/ | |||||
* | - Improved loop/iter optimization. | Eduardo Julian | 2016-10-13 | 1 | -22/+33 |
| | |||||
* | - Now simplifying the PM paths to get rid of some of the pointless testing ↵ | Eduardo Julian | 2016-10-13 | 1 | -2/+21 |
| | | | | that results from ignoring some local bindings. | ||||
* | - No more allocation of unused registers. | Eduardo Julian | 2016-10-13 | 2 | -10/+257 |
| | |||||
* | - Optimized the compiler code by dealing with the reflection warnings. | Eduardo Julian | 2016-10-11 | 4 | -35/+36 |
| | |||||
* | - Better error handling with paraller compilation. | Eduardo Julian | 2016-10-11 | 4 | -25/+24 |
| | | | - When issuing re-compilation from the compiler-cache, it's also done in parallel. | ||||
* | - Better log printing. | Eduardo Julian | 2016-10-11 | 4 | -25/+24 |
| | |||||
* | - Refactored the code. | Eduardo Julian | 2016-10-11 | 4 | -146/+43 |
| | |||||
* | - Finished a working implementation of parallel compilation, that doesn't ↵ | Eduardo Julian | 2016-10-11 | 8 | -69/+240 |
| | | | | rely on core.async. | ||||
* | - Now merging compiler-states pre-and-post module compilation. | Eduardo Julian | 2016-10-09 | 4 | -16/+95 |
| | | | - Added a temporary fix for the survival/accumulation of zombie type-vars. | ||||
* | - Replace _lux_imports with _lux_module by adding module annotations. | Eduardo Julian | 2016-10-09 | 11 | -131/+196 |
| | |||||
* | - Slight refactoring. | Eduardo Julian | 2016-10-03 | 3 | -28/+27 |
| | |||||
* | - Simplified type annotations. | Eduardo Julian | 2016-10-03 | 5 | -28/+15 |
| | |||||
* | - Fixed a bug wherein compiler code was relying on analyzer tags, instead of ↵ | Eduardo Julian | 2016-10-03 | 4 | -14/+15 |
| | | | | optimizer tags. | ||||
* | - Renamed "loop" to "iter". | Eduardo Julian | 2016-10-03 | 5 | -52/+54 |
| | | | | - Updated compiler version. - Improved project.clj file. | ||||
* | - Now adding cursor information when analysing function/macro calls, to ↵ | Eduardo Julian | 2016-10-02 | 2 | -8/+8 |
| | | | | avoid missing cursors during macro-expansions and some function calls. | ||||
* | - Finished adding Frac(tions) [including lexing/parsing]. | Eduardo Julian | 2016-10-01 | 11 | -225/+334 |
| | |||||
* | - Added (almost) all the operations for implementing fractions in the compiler. | Eduardo Julian | 2016-09-30 | 5 | -113/+624 |
| | | | - Still missing lexing for fractions... | ||||
* | Merge pull request #16 from LuxLang/more_tolerant_class_names | LuxLang | 2016-09-29 | 1 | -1/+1 |
|\ | | | | | - Fixed a bug that was rejecting class names with underscores and oth… | ||||
| * | - Fixed a bug that was rejecting class names with underscores and other ↵ | Eduardo Julian | 2016-09-29 | 1 | -1/+1 |
| | | | | | | | | strange characters. | ||||
* | | - Now optimizing the pattern for if/cond expressions. | Eduardo Julian | 2016-09-24 | 3 | -0/+31 |
| | | |||||
* | | - Now generating better error messages when trying to use a static/virtual ↵ | Eduardo Julian | 2016-09-24 | 1 | -25/+28 |
| | | | | | | | | that belongs to a class's parent, instead of the class itself. | ||||
* | | - Documented the optimizer module. | Eduardo Julian | 2016-09-24 | 1 | -9/+155 |
| | | |||||
* | | - Fixed a bug that allowed modules to refer to definitions of other ↵ | Eduardo Julian | 2016-09-24 | 3 | -24/+37 |
| | | | | | | | | already-compiled modules without these being imported. | ||||
* | | - Now optimizing the record accesses that are characteristic of get@ and ::. | Eduardo Julian | 2016-09-24 | 3 | -0/+64 |
| | | |||||
* | | - Lexer now allows , and _ as separators for numbers. | Eduardo Julian | 2016-09-23 | 2 | -3/+13 |
| | | |||||
* | | - Added conversions between byte/short and long. | Eduardo Julian | 2016-09-23 | 2 | -25/+61 |
| | | | | | | - Also added conversions between Char and Nat. | ||||
* | | - Now using Nat as the type of both VarT and ExT. | Eduardo Julian | 2016-09-23 | 1 | -2/+2 |
| | | |||||
* | | - Now showing warnings when trying to use deprecated constructors and methods. | Eduardo Julian | 2016-09-23 | 1 | -5/+9 |
| | | |||||
* | | - java.lang.Error and its subclasses don't get checked anymore. | Eduardo Julian | 2016-09-22 | 1 | -1/+2 |
| | | |||||
* | | - Improved support for Nat. | Eduardo Julian | 2016-08-16 | 6 | -24/+76 |
| | | |||||
* | | - Added support for natural numbers (unsigned integers). | Eduardo Julian | 2016-08-14 | 14 | -24/+363 |
|/ | |||||
* | - Added a new compilation mode: REPL. | Eduardo Julian | 2016-08-08 | 6 | -58/+118 |
| | | | - Fixed the REPL. | ||||
* | - Fixed a bug in the analysis of tuples, when the tuple-type is shorter than ↵ | Eduardo Julian | 2016-08-01 | 4 | -161/+161 |
| | | | | the tuple-syntax. | ||||
* | - Now storing the name of each scope as a list/stack of name-fragments, to ↵ | Eduardo Julian | 2016-07-30 | 4 | -21/+11 |
| | | | | eliminate the need to keep an explicit cache for it. | ||||
* | - Scope-names are no longer being reversed when generated, but only when ↵ | Eduardo Julian | 2016-07-30 | 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. | ||||
* | - Now streamlining simple "let" expressions when doing pattern-matching. | Eduardo Julian | 2016-07-30 | 4 | -7/+30 |
| | |||||
* | - Fixed a bug in the way type-adjustment happens during pattern-matching, in ↵ | Eduardo Julian | 2016-07-29 | 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. | ||||
* | - A module's hash is also stored in the Compiler state and in the cached ↵ | Eduardo Julian | 2016-07-26 | 5 | -99/+114 |
| | | | | classes, to check for inconsistencies in the dependencies when loading cached modules. |