aboutsummaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2015-12-06- Better handling generics when analysing class methods.Eduardo Julian1-9/+16
2015-12-02- Made a variety of refactorings and minor changes.Eduardo Julian15-332/+447
2015-12-01- Improved error reporting when pattern-matching on tuples.Eduardo Julian5-36/+49
2015-11-30- Fixed a bug wherein some error messages were being swallowed-up and getting...Eduardo Julian1-7/+13
2015-11-30- Refactored some of the parsing done inside the analyser to a separate names...Eduardo Julian10-188/+285
2015-11-29- Improved error messaging when building variants & tuples.Eduardo Julian3-290/+307
2015-11-29- No longer removing empty lines from source code when reading it. Now lexing...Eduardo Julian3-5/+2
2015-11-29- Fixed a bug when parsing new-array special forms, wherein primitive arrays ...Eduardo Julian1-7/+7
2015-11-29- _lux_coerce no longer adds checkcast.Eduardo Julian3-33/+19
2015-11-29- _jvm_anon-class now requires that constructor arguments (with proper type-t...Eduardo Julian6-41/+139
2015-11-28- Improved support for existential quantification.Eduardo Julian2-5/+12
2015-11-28- Added better support for existential quantification.Eduardo Julian10-107/+150
2015-11-15- _jvm_ null must now be written as a form.Eduardo Julian4-15/+23
2015-10-29- Now requiring parameterized classes everywhere when invoking methods.Eduardo Julian2-65/+74
2015-10-28- Unknown syntax errors now show cursor information.Eduardo Julian4-131/+161
2015-10-27- Storage instructions during pattern matching when doing aliasing now use th...Eduardo Julian4-23/+10
2015-10-13- The compiler phase now depends on data-structures from the optimization phase.Eduardo Julian3-145/+656
2015-10-13- Added local var aliasing.Eduardo Julian3-19/+56
2015-10-13- Separated type coercions from type annotations.Eduardo Julian10-45/+95
2015-10-07- Increased the compiler version from 0.3 to 0.4Eduardo Julian3-30/+37
2015-10-07- The method-invocation analysers now take into consideration whether they mu...Eduardo Julian6-52/+71
2015-10-04- Removed the Lux source from the repo, as it now belongs to the lux/stdlib p...Eduardo Julian4-75/+37
2015-09-30- Changed the license in the project.clj file (had forgotten until now).Eduardo Julian4-42/+47
2015-09-29- Returned to old format of type-environments where odds are arguments & even...Eduardo Julian3-14/+14
2015-09-29- Cleaned-up the comments from the codebase.Eduardo Julian18-478/+199
2015-09-28- Removed reflection warnings.Eduardo Julian9-103/+115
2015-09-28- Added a rule that Void is a subtype of every other type.Eduardo Julian2-32/+41
2015-09-27- Added generics support for object field access (getting & setting).Eduardo Julian5-234/+318
2015-09-27- Added support for type-checking generic classes.Eduardo Julian9-103/+305
2015-09-27- Lux programs can now use libraries for both the JVM (.jar files) and pure L...Eduardo Julian10-27/+197
2015-09-26- Added support for Java annotations.Eduardo Julian4-44/+108
2015-09-26- Finished some missing bits of class definition analysis.Eduardo Julian4-45/+165
2015-09-26- Both method declarations & method definitions in classes can now include de...Eduardo Julian2-14/+22
2015-09-16- Did a trick to make sure "this" always had the type of the class being defi...Eduardo Julian4-36/+60
2015-09-16- Now the file-name & the line numbers are stored inside the .class files for...Eduardo Julian13-509/+631
2015-09-15- :: no longer demands prefixes for the struct membersEduardo Julian1-1/+1
2015-09-15- The Macro type now flows from lux.lux into the compiler, to achieve a perfe...Eduardo Julian3-202/+14
2015-09-15- Compiler now takes into consideration exceptions that can be thrown by cons...Eduardo Julian4-28/+29
2015-09-14- Renamed "this" to "_jvm_this".Eduardo Julian3-5/+6
2015-09-14- Added the possibility to define anonymous classes.Eduardo Julian7-249/+390
2015-09-13- Fixed bug wherein mutual recursion could occur between modules.Eduardo Julian4-9/+49
2015-09-12- Added exhaustiveness testing for exception-handling code.Eduardo Julian12-109/+186
2015-09-12- Added exhaustiveness testing for class definition.Eduardo Julian2-2/+32
2015-09-12- Fixed some errors with JVM interop.Eduardo Julian3-100/+128
2015-09-12- Added full support for arrays.Eduardo Julian6-63/+314
2015-09-12- Primitive data-types can now be parameterized by other types.Eduardo Julian6-166/+145
2015-09-11- Abandoned the old format for classes of having module names separated by un...Eduardo Julian6-25/+35
2015-09-11- Implemented the with-open macro.Eduardo Julian6-221/+221
2015-09-10- Added inference during construction of variants.Eduardo Julian3-44/+98
2015-09-10- Implemented inference for constructing records.Eduardo Julian6-207/+139