aboutsummaryrefslogtreecommitdiff
path: root/luxc/src/lux/analyser.clj (unfollow)
Commit message (Expand)AuthorFilesLines
2016-05-02- Removed _jvm_try from the list of special forms.Eduardo Julian1-7/+0
2016-05-02- Removed _jvm_new, _jvm_invokestatic, _jvm_invokeinterface, _jvm_invokevirtu...Eduardo Julian1-47/+0
2016-05-02- Removed _jvm_getstatic, _jvm_getfield, _jvm_putstatic and _jvm_putfield fro...Eduardo Julian1-28/+0
2016-05-01- Removed _jvm_monitorenter, _jvm_monitorexit and _jvm_throw from the list of...Eduardo Julian1-16/+0
2016-05-01- Removed _jvm_null and _jvm_null? from the list of special forms.Eduardo Julian1-37/+29
2016-05-01- Simplified the language by eliminating coercion and macro-declaration from ...Eduardo Julian1-1/+1
2016-04-27- Unified dozens of host operations under the _lux_host special form.Eduardo Julian1-332/+11
2016-04-26- Made some fixes to type-inference for pattern-matching.Eduardo Julian1-1/+2
2016-03-12- Added a REPL mode.Eduardo Julian1-0/+12
2016-03-09- Fixed a bug wherein type-variables were not getting properly cleaned and th...Eduardo Julian1-4/+6
2016-02-22- Added the means to convert characters into other things.Eduardo Julian1-0/+12
2016-02-15- Now, you cannot use the tags of types that haven't been exported if you're ...Eduardo Julian1-0/+1
2016-02-07- Fixed a bug when getting a value out of a variant (it was acting improperly...Eduardo Julian1-14/+14
2016-02-06- Added support for "final" fields, methods & classes.Eduardo Julian1-5/+7
2016-01-17- Made a small modification to how variants/sums are created, to ensure varia...Eduardo Julian1-14/+18
2016-01-17- Now using the new utility methods in LuxUtils for working with variants/sums.Eduardo Julian1-5/+7
2016-01-05- Optimized the new "product" implementation to improve performance & memory ...Eduardo Julian1-2/+2
2016-01-02- Implemented the feature of adding arbitrary meta-data to definitions.Eduardo Julian1-21/+6
2016-01-01- Modified _jvm_anewarray so it now works with generic classes.Eduardo Julian1-2/+3
2015-12-02- Made a variety of refactorings and minor changes.Eduardo Julian1-10/+19
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 Julian1-55/+16
2015-11-29- Fixed a bug when parsing new-array special forms, wherein primitive arrays ...Eduardo Julian1-7/+7
2015-11-29- _jvm_anon-class now requires that constructor arguments (with proper type-t...Eduardo Julian1-4/+14
2015-11-28- Added better support for existential quantification.Eduardo Julian1-37/+20
2015-11-15- _jvm_ null must now be written as a form.Eduardo Julian1-6/+6
2015-10-29- Now requiring parameterized classes everywhere when invoking methods.Eduardo Julian1-21/+41
2015-10-28- Unknown syntax errors now show cursor information.Eduardo Julian1-7/+8
2015-10-27- Storage instructions during pattern matching when doing aliasing now use th...Eduardo Julian1-14/+1
2015-10-07- The method-invocation analysers now take into consideration whether they mu...Eduardo Julian1-1/+1
2015-09-30- Changed the license in the project.clj file (had forgotten until now).Eduardo Julian1-39/+44
2015-09-29- Cleaned-up the comments from the codebase.Eduardo Julian1-3/+1
2015-09-28- Removed reflection warnings.Eduardo Julian1-5/+5
2015-09-28- Added a rule that Void is a subtype of every other type.Eduardo Julian1-3/+14
2015-09-27- Added generics support for object field access (getting & setting).Eduardo Julian1-28/+28
2015-09-27- Added support for type-checking generic classes.Eduardo Julian1-2/+8
2015-09-26- Added support for Java annotations.Eduardo Julian1-6/+8
2015-09-16- Now the file-name & the line numbers are stored inside the .class files for...Eduardo Julian1-19/+24
2015-09-14- Added the possibility to define anonymous classes.Eduardo Julian1-27/+35
2015-09-12- Added exhaustiveness testing for exception-handling code.Eduardo Julian1-2/+2
2015-09-12- Fixed some errors with JVM interop.Eduardo Julian1-7/+22
2015-09-12- Added full support for arrays.Eduardo Julian1-16/+81
2015-09-10- Added inference during construction of variants.Eduardo Julian1-11/+20
2015-09-10- Implemented inference for constructing records.Eduardo Julian1-1/+1
2015-09-07- Type checking of polymorphic functions now relies on ExT types to guarantee...Eduardo Julian1-0/+6
2015-09-06- Added type-inference when constructing tuples.Eduardo Julian1-2/+5
2015-08-30- Added call/cc to lux/codata/lazy.Eduardo Julian1-27/+28
2015-08-29- Added some compiler optimizations.Eduardo Julian1-157/+157
2015-08-28Changed the license from EPL to MPL.Eduardo Julian1-7/+4
2015-08-28Due to several performance issues and my inability to optimize them away due ...Eduardo Julian1-202/+199