aboutsummaryrefslogtreecommitdiff
path: root/src/lux/analyser (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Added support for defining static methods in JVM classes.Eduardo Julian2016-02-063-9/+61
* - Fixed some bugs regarding the handling of sums & products.Eduardo Julian2016-02-043-43/+72
* - I overdid the switch from null to lux.base/unit-tag, so I reversed the chan...Eduardo Julian2016-01-173-23/+23
* - Made a small modification to how variants/sums are created, to ensure varia...Eduardo Julian2016-01-171-5/+7
* - Fixed a bug introduced when I made the change for the "unit" value to be a ...Eduardo Julian2016-01-173-16/+16
* - Now using the new utility methods in LuxUtils for working with variants/sums.Eduardo Julian2016-01-173-9/+12
* - Optimized the new "product" implementation to improve performance & memory ...Eduardo Julian2016-01-059-176/+180
* - Switched from TupleT to ProdT (implementation-wise).Eduardo Julian2016-01-045-113/+138
* - Switched from TupleT to ProdT (type-wise).Eduardo Julian2016-01-023-37/+75
* - Switched from VariantT to SumT.Eduardo Julian2016-01-024-43/+62
* - Added the VoidT and UnitT types.Eduardo Julian2016-01-024-107/+135
* - Implemented the feature of adding arbitrary meta-data to definitions.Eduardo Julian2016-01-023-209/+132
* - Modified _jvm_anewarray so it now works with generic classes.Eduardo Julian2016-01-011-29/+33
* - Added support for wildcards in generic types.Eduardo Julian2015-12-312-0/+12
* - [Refactor] Removed the (now unnecessary) lux.type.host/class-name->type fun...Eduardo Julian2015-12-312-8/+8
* - Fixed some bugs in the way _jvm_putfield & _jvm_putstatic special forms wer...Eduardo Julian2015-12-301-3/+5
* - Bug fixes:Eduardo Julian2015-12-302-54/+56
* - Fixed some bugs regarding JVM interface definition.Eduardo Julian2015-12-192-17/+11
* - Changed the way methods are defined in class definitions.Eduardo Julian2015-12-163-102/+207
* - Removed modifiers from field/method declaration.Eduardo Julian2015-12-062-68/+17
* - Better handling generics when analysing class methods.Eduardo Julian2015-12-061-9/+16
* - Made a variety of refactorings and minor changes.Eduardo Julian2015-12-024-148/+203
* - Improved error reporting when pattern-matching on tuples.Eduardo Julian2015-12-013-28/+34
* - Refactored some of the parsing done inside the analyser to a separate names...Eduardo Julian2015-11-302-109/+181
* - Improved error messaging when building variants & tuples.Eduardo Julian2015-11-291-102/+107
* - _lux_coerce no longer adds checkcast.Eduardo Julian2015-11-291-2/+1
* - _jvm_anon-class now requires that constructor arguments (with proper type-t...Eduardo Julian2015-11-291-6/+11
* - Added better support for existential quantification.Eduardo Julian2015-11-284-44/+82
* - _jvm_ null must now be written as a form.Eduardo Julian2015-11-151-1/+7
* - Now requiring parameterized classes everywhere when invoking methods.Eduardo Julian2015-10-291-44/+33
* - Unknown syntax errors now show cursor information.Eduardo Julian2015-10-281-2/+3
* - Storage instructions during pattern matching when doing aliasing now use th...Eduardo Julian2015-10-272-6/+2
* - Added local var aliasing.Eduardo Julian2015-10-133-19/+56
* - Separated type coercions from type annotations.Eduardo Julian2015-10-133-5/+9
* - The method-invocation analysers now take into consideration whether they mu...Eduardo Julian2015-10-071-6/+25
* - Returned to old format of type-environments where odds are arguments & even...Eduardo Julian2015-09-292-2/+2
* - Cleaned-up the comments from the codebase.Eduardo Julian2015-09-295-219/+92
* - Removed reflection warnings.Eduardo Julian2015-09-282-65/+67
* - Added generics support for object field access (getting & setting).Eduardo Julian2015-09-271-128/+167
* - Added support for type-checking generic classes.Eduardo Julian2015-09-271-12/+63
* - Lux programs can now use libraries for both the JVM (.jar files) and pure L...Eduardo Julian2015-09-271-1/+3
* - Added support for Java annotations.Eduardo Julian2015-09-261-26/+67
* - Finished some missing bits of class definition analysis.Eduardo Julian2015-09-261-11/+43
* - Both method declarations & method definitions in classes can now include de...Eduardo Julian2015-09-261-12/+18
* - Did a trick to make sure "this" always had the type of the class being defi...Eduardo Julian2015-09-161-3/+6
* - Now the file-name & the line numbers are stored inside the .class files for...Eduardo Julian2015-09-165-117/+195
* - :: no longer demands prefixes for the struct membersEduardo Julian2015-09-151-1/+1
* - The Macro type now flows from lux.lux into the compiler, to achieve a perfe...Eduardo Julian2015-09-151-0/+2
* - Compiler now takes into consideration exceptions that can be thrown by cons...Eduardo Julian2015-09-152-2/+3
* - Renamed "this" to "_jvm_this".Eduardo Julian2015-09-143-5/+6