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