aboutsummaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
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
2015-09-09- Added type inference for functions.Eduardo Julian4-68/+124
2015-09-08- A few minor fixes in the standard library.Eduardo Julian3-101/+112
2015-09-07- Type checking of polymorphic functions now relies on ExT types to guarantee...Eduardo Julian4-102/+105
2015-09-06- Added the (untested) inference of tuple destructuring.Eduardo Julian4-37/+62
2015-09-06- Added type-inference when constructing tuples.Eduardo Julian6-43/+60
2015-09-06- Expanded the standard library.Eduardo Julian2-37/+18
2015-09-02- Added a new (albeit small) I/O library with host-dependent functions.Eduardo Julian1-1/+1
2015-09-01- Fixed the implementation of the Rec macro, which forgot to do application o...Eduardo Julian2-0/+3
2015-09-01- Added a macro to write recursive types.Eduardo Julian1-0/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 15:47:30 +0000