| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | - 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. | |||||
| * | - Improved error messages in analyser by adding cursor. | Eduardo Julian | 2016-07-24 | 1 | -40/+23 | |
| | | ||||||
| * | - Added the [bit count] procedure. | Eduardo Julian | 2016-07-24 | 2 | -1/+22 | |
| | | ||||||
| * | - Fixed a bug in which the signatures for multi-parameter generic classes ↵ | Eduardo Julian | 2016-07-23 | 2 | -6/+6 | |
| | | | | | | where getting spaces between the parameter signatures, which is invalid. - Type-errors now include cursor information. | |||||
| * | - Added object/reference/pointer testing. | Eduardo Julian | 2016-07-23 | 2 | -0/+36 | |
| | | ||||||
| * | - Fixed the bug in the optimizer that was causing some functions to end up ↵ | Eduardo Julian | 2016-07-19 | 2 | -38/+62 | |
| | | | | | with the same name. | |||||
| * | - Optimized the type-checker slightly by now using a 2-tuple for the ↵ | Eduardo Julian | 2016-07-13 | 2 | -24/+23 | |
| | | | | | results, but instead just returning the fixpoints. | |||||
| * | - Added bitwise operations. | Eduardo Julian | 2016-07-13 | 2 | -0/+86 | |
| | | ||||||
| * | - Renamed LuxUtils to LuxRT. | Eduardo Julian | 2016-07-11 | 5 | -35/+35 | |
| | | | | - Fixed a bug in _lux_proc ["array" "get"]. | |||||
| * | - The compiler no longer complains about not catching RuntimeException and ↵ | Eduardo Julian | 2016-07-10 | 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. | |||||
| * | - Small fixes to reader & type-system. | Eduardo Julian | 2016-07-01 | 1 | -10/+4 | |
| | | | | | - Test suites for reader, lexer and parser got updated. - Added unit-tests for type-system. | |||||
| * | - Fixed a bug in the way type-vars were flowing when type-checking JVM ↵ | Eduardo Julian | 2016-06-19 | 1 | -8/+8 | |
| | | | | | method calls. | |||||
| * | - Implemented a procedure for loading JVM classes. | Eduardo Julian | 2016-06-13 | 2 | -0/+24 | |
| | | ||||||
| * | - Removed all the unnecessary stack-frame descriptors. | Eduardo Julian | 2016-06-13 | 1 | -15/+0 | |
| | | ||||||
| * | - Now avoiding unnecessary pops of the pattern-matching stack/cursor. | Eduardo Julian | 2016-06-13 | 1 | -3/+11 | |
| | | ||||||
| * | - Finished the test-sharing code. | Eduardo Julian | 2016-06-13 | 6 | -398/+401 | |
| | | ||||||
| * | - [WIP] sharing tests during pattern-matching. | Eduardo Julian | 2016-06-06 | 4 | -177/+402 | |
| | | ||||||
| * | - Fixed that bug that was causing method definitions to be set as final and ↵ | Eduardo Julian | 2016-05-22 | 2 | -6/+10 | |
| | | | | | with strict-fp math. | |||||
| * | - Added Tail-Recursion Optimization. | Eduardo Julian | 2016-05-22 | 5 | -104/+177 | |
| | | ||||||
| * | - Merged _lux_alias into _lux_import. | Eduardo Julian | 2016-05-21 | 3 | -30/+26 | |
| | | ||||||
| * | - Now it's possible to pattern-match against variants using numeric indices. | Eduardo Julian | 2016-05-21 | 3 | -20/+15 | |
| | | ||||||
| * | - Now folding top-level function-classes into their owner def-classes. | Eduardo Julian | 2016-05-21 | 4 | -100/+209 | |
| | | ||||||
| * | - Improved the optimization of self-calls. | Eduardo Julian | 2016-05-21 | 1 | -4/+9 | |
| | | ||||||
| * | - Fixed a bug in which it was impossible to pattern-match against ↵ | Eduardo Julian | 2016-05-21 | 7 | -67/+169 | |
| | | | | | | | | 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. | |||||
| * | - Fixed a bug when parsing the names of arguments in method definitions, ↵ | Eduardo Julian | 2016-05-20 | 2 | -2/+6 | |
| | | | | | wherein the names couldn't be full-blown (unprefixed) idents. | |||||
| * | - Now storing the type-variables created during type-checking for the sake ↵ | Eduardo Julian | 2016-05-14 | 4 | -48/+93 | |
| | | | | | of reference later on in definitions. | |||||
| * | - Optimized pattern-matching on the analyser-phase. | Eduardo Julian | 2016-05-13 | 4 | -177/+135 | |
| | | | | - Analysis of statements now ensures they are top-level forms, by making sure there is no expected type when they are analyzed. | |||||
| * | - The expected-type in the compiler-state is now a (Maybe Type), instead of ↵ | Eduardo Julian | 2016-05-13 | 5 | -165/+184 | |
| | | | | | | | a Type. - Simplified and optimized the pattern-matching done during the analysis phase. - Fixed the bug that caused the JVM garbage-collector to go crazy after running the compiler. | |||||
| * | - Fixed a bug that allowed pattern-matching using unknown tags to proceed. | Eduardo Julian | 2016-05-13 | 5 | -27/+72 | |
| | | | | - Streamlined invocation of functions when the args-list >= the arity. The impl method gets called immediately, instead of passing first by the apply method. | |||||
| * | - Now with better localization for reader, lexer & parser errors. | Eduardo Julian | 2016-05-12 | 6 | -24/+24 | |
| | | ||||||
| * | - Now generating variants of the "apply" method of lux/Function up to 8 arities. | Eduardo Julian | 2016-05-11 | 7 | -112/+70 | |
| | | ||||||
| * | - Now fusing impl and apply1 for 1-arity functions. | Eduardo Julian | 2016-05-11 | 1 | -80/+90 | |
| | | | | - Now avoiding to "reset" functions at stage 0, when called with an apply-N where N = arity. | |||||
| * | - lux/Function is now an abstract class with 4 versions of apply, to improve ↵ | Eduardo Julian | 2016-05-11 | 6 | -69/+176 | |
| | | | | | performance when calling functions. | |||||
| * | - Added an optimization to fold directly-nested functions and fuse them into ↵ | Eduardo Julian | 2016-05-10 | 13 | -296/+640 | |
| | | | | | multi-argument functions. | |||||
| * | - Removed _jvm_class, _jvm_interface and _jvm_anon-class from the list of ↵ | Eduardo Julian | 2016-05-08 | 10 | -675/+732 | |
| | | | | | special forms. | |||||
| * | - Made a small adjustment when packaging the .jars of programs, to avoid ↵ | Eduardo Julian | 2016-05-03 | 1 | -1/+4 | |
| | | | | | packaging .jars that are necessary for the compiler itself, but not for the Lux program that was compiled. | |||||
| * | - Added multi-platform support for arrays. | Eduardo Julian | 2016-05-03 | 2 | -0/+83 | |
| | | ||||||
 |
index : lux | |
| fork of https://github.com/LuxLang/lux for my bookshelf |
| aboutsummaryrefslogtreecommitdiff |