| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | - Added local var aliasing. | Eduardo Julian | 2015-10-13 | 3 | -19/+56 |
* | - Separated type coercions from type annotations. | Eduardo Julian | 2015-10-13 | 10 | -45/+95 |
* | - Increased the compiler version from 0.3 to 0.4 | Eduardo Julian | 2015-10-07 | 3 | -30/+37 |
* | - The method-invocation analysers now take into consideration whether they mu... | Eduardo Julian | 2015-10-07 | 6 | -52/+71 |
* | - Removed the Lux source from the repo, as it now belongs to the lux/stdlib p... | Eduardo Julian | 2015-10-04 | 4 | -75/+37 |
* | - Changed the license in the project.clj file (had forgotten until now). | Eduardo Julian | 2015-09-30 | 4 | -42/+47 |
* | - Returned to old format of type-environments where odds are arguments & even... | Eduardo Julian | 2015-09-29 | 3 | -14/+14 |
* | - Cleaned-up the comments from the codebase. | Eduardo Julian | 2015-09-29 | 18 | -478/+199 |
* | - Removed reflection warnings. | Eduardo Julian | 2015-09-28 | 9 | -103/+115 |
* | - Added a rule that Void is a subtype of every other type. | Eduardo Julian | 2015-09-28 | 2 | -32/+41 |
* | - Added generics support for object field access (getting & setting). | Eduardo Julian | 2015-09-27 | 5 | -234/+318 |
* | - Added support for type-checking generic classes. | Eduardo Julian | 2015-09-27 | 9 | -103/+305 |
* | - Lux programs can now use libraries for both the JVM (.jar files) and pure L... | Eduardo Julian | 2015-09-27 | 10 | -27/+197 |
* | - Added support for Java annotations. | Eduardo Julian | 2015-09-26 | 4 | -44/+108 |
* | - Finished some missing bits of class definition analysis. | Eduardo Julian | 2015-09-26 | 4 | -45/+165 |
* | - Both method declarations & method definitions in classes can now include de... | Eduardo Julian | 2015-09-26 | 2 | -14/+22 |
* | - Did a trick to make sure "this" always had the type of the class being defi... | Eduardo Julian | 2015-09-16 | 4 | -36/+60 |
* | - Now the file-name & the line numbers are stored inside the .class files for... | Eduardo Julian | 2015-09-16 | 13 | -509/+631 |
* | - :: no longer demands prefixes for the struct members | Eduardo Julian | 2015-09-15 | 1 | -1/+1 |
* | - The Macro type now flows from lux.lux into the compiler, to achieve a perfe... | Eduardo Julian | 2015-09-15 | 3 | -202/+14 |
* | - Compiler now takes into consideration exceptions that can be thrown by cons... | Eduardo Julian | 2015-09-15 | 4 | -28/+29 |
* | - Renamed "this" to "_jvm_this". | Eduardo Julian | 2015-09-14 | 3 | -5/+6 |
* | - Added the possibility to define anonymous classes. | Eduardo Julian | 2015-09-14 | 7 | -249/+390 |
* | - Fixed bug wherein mutual recursion could occur between modules. | Eduardo Julian | 2015-09-13 | 4 | -9/+49 |
* | - Added exhaustiveness testing for exception-handling code. | Eduardo Julian | 2015-09-12 | 12 | -109/+186 |
* | - Added exhaustiveness testing for class definition. | Eduardo Julian | 2015-09-12 | 2 | -2/+32 |
* | - Fixed some errors with JVM interop. | Eduardo Julian | 2015-09-12 | 3 | -100/+128 |
* | - Added full support for arrays. | Eduardo Julian | 2015-09-12 | 6 | -63/+314 |
* | - Primitive data-types can now be parameterized by other types. | Eduardo Julian | 2015-09-12 | 6 | -166/+145 |
* | - Abandoned the old format for classes of having module names separated by un... | Eduardo Julian | 2015-09-11 | 6 | -25/+35 |
* | - Implemented the with-open macro. | Eduardo Julian | 2015-09-11 | 6 | -221/+221 |
* | - Added inference during construction of variants. | Eduardo Julian | 2015-09-10 | 3 | -44/+98 |
* | - Implemented inference for constructing records. | Eduardo Julian | 2015-09-10 | 6 | -207/+139 |
* | - Added type inference for functions. | Eduardo Julian | 2015-09-09 | 4 | -68/+124 |
* | - A few minor fixes in the standard library. | Eduardo Julian | 2015-09-08 | 3 | -101/+112 |
* | - Type checking of polymorphic functions now relies on ExT types to guarantee... | Eduardo Julian | 2015-09-07 | 4 | -102/+105 |
* | - Added the (untested) inference of tuple destructuring. | Eduardo Julian | 2015-09-06 | 4 | -37/+62 |
* | - Added type-inference when constructing tuples. | Eduardo Julian | 2015-09-06 | 6 | -43/+60 |
* | - Expanded the standard library. | Eduardo Julian | 2015-09-06 | 2 | -37/+18 |
* | - Added a new (albeit small) I/O library with host-dependent functions. | Eduardo Julian | 2015-09-02 | 1 | -1/+1 |
* | - Fixed the implementation of the Rec macro, which forgot to do application o... | Eduardo Julian | 2015-09-01 | 2 | -0/+3 |
* | - Added a macro to write recursive types. | Eduardo Julian | 2015-09-01 | 1 | -0/+3 |
* | - Compiler no longer allows an alias to be reused for another module when imp... | Eduardo Julian | 2015-08-31 | 2 | -14/+17 |
* | - Found a compromise with the issue of certain definitions clashing with each... | Eduardo Julian | 2015-08-31 | 1 | -3/+6 |
* | - Added call/cc to lux/codata/lazy. | Eduardo Julian | 2015-08-30 | 3 | -35/+34 |
* | - Added unit-tests for lexer. | Eduardo Julian | 2015-08-30 | 2 | -32/+15 |
* | - Remove the (unnec) "All'" and "->'" macros. | Eduardo Julian | 2015-08-29 | 2 | -15/+14 |
* | - Added some compiler optimizations. | Eduardo Julian | 2015-08-29 | 9 | -237/+229 |
* | - Removed the (unnecessary) lux/data/cont module. | Eduardo Julian | 2015-08-29 | 1 | -1/+1 |
* | - Changed the name of AllT (for-all type) to UnivQ (universal quantification). | Eduardo Julian | 2015-08-28 | 9 | -330/+290 |