aboutsummaryrefslogtreecommitdiff
path: root/source (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Fixed a pattern-matching error where generalizations of types (universal-qu...Eduardo Julian2015-07-268-93/+133
* - The output directory is now being used as the cache.Eduardo Julian2015-07-2531-0/+5222
* - The directory for source-code is now named "input".Eduardo Julian2015-06-202-2184/+0
* - Added imports.Eduardo Julian2015-06-121-18/+24
* - Reimplemented module-aliasing.Eduardo Julian2015-06-101-26/+35
* - Put definition metadata into the generated .class files.Eduardo Julian2015-06-091-23/+6
* - Finished _jvm-interface_ & _jvm-class_.Eduardo Julian2015-05-311-93/+114
* - _jvm_program now relies on the (IO (,)) type.Eduardo Julian2015-05-272-10/+8
* - Now using an in-memory class-loader.Eduardo Julian2015-05-261-2/+4
* - Cleaned-up a few things in lux.luxEduardo Julian2015-05-241-110/+100
* - Added a simple optimization based on the idea of avoiding to compare 2 type...Eduardo Julian2015-05-221-35/+35
* - Corrected the indentation issues in the lux files.Eduardo Julian2015-05-222-1003/+1074
* - Removed the apparently unnecessary total-locals.Eduardo Julian2015-05-142-14/+34
* - Changed the names of the tags of the Syntax type to differentiate them bett...Eduardo Julian2015-05-101-226/+226
* - Switched to the new prefix convention for both lux's special forms and the ...Eduardo Julian2015-05-102-1158/+1169
* - Now analysing function-application backwards.Eduardo Julian2015-05-102-377/+311
* - Eliminated #eval-ctor from the HostState and now #seed is used for the same...Eduardo Julian2015-05-071-4/+2
* - Made several optimizations to the compiler.Eduardo Julian2015-05-061-2/+2
* v0.1Eduardo Julian2015-05-041-1/+1
* - Added the LuxVar type to properly specify the type of environment bindings.Eduardo Julian2015-05-042-14/+144
* - Added alias-lux to import lux.lux definitions.Eduardo Julian2015-05-042-87/+137
* - Added def-aliasing.Eduardo Julian2015-05-031-68/+113
* - Added ;;self-prefixes.Eduardo Julian2015-05-031-48/+103
* - Fixed escaping in charsEduardo Julian2015-05-031-17/+189
* - The type syntax is finally complete ^_^Eduardo Julian2015-05-031-110/+182
* - Implemented some new macros & functions in lux.lux.Eduardo Julian2015-05-021-113/+212
* - Finally got find-macro & macro-expand to work... (Note: type-vars bug is st...Eduardo Julian2015-05-021-68/+32
* - Added existential types via #ExT.Eduardo Julian2015-05-011-1/+2
* Optimized the compiler with 2 tweaks:Eduardo Julian2015-05-011-26/+0
* - Added the lux;seed slot to the compiler state.Eduardo Julian2015-05-011-6/+35
* - declare-macro has returned.Eduardo Julian2015-05-011-694/+464
* - Implemented pattern-matching for records.Eduardo Julian2015-04-301-61/+23
* - Made a slight correction to the Syntax type when it comes to records (slot-...Eduardo Julian2015-04-291-208/+192
* - Fixed some errors in lux.lux.Eduardo Julian2015-04-281-1102/+1294
* - lux/analyser/def has been renamed to lux/analyser/module.Eduardo Julian2015-04-261-214/+213
* Made a correction to lux.lux and the analyser regarding how to handle type-vars.Eduardo Julian2015-04-261-3/+4
* - Macros are no longer declared. Instead, they are automatically detected.Eduardo Julian2015-04-261-257/+270
* - No more Any (Top) and Nothing (Bottom) types.Eduardo Julian2015-04-251-32/+25
* - More accurate AllT environment management by using (Maybe TypeEnv) instead ...Eduardo Julian2015-04-251-28/+30
* - Fused lux;local-envs & lux;global-envs as lux;envs.Eduardo Julian2015-04-231-18/+22
* - Added a dummy implementation of "export'".Eduardo Julian2015-04-231-208/+395
* - Removed analyse-2, as it was redundant.Eduardo Julian2015-04-231-444/+412
* - Fixed several bugs in lux.luxEduardo Julian2015-04-191-1088/+1258
* - Solved the bug wherein type-inferencing was causing computational complexit...Eduardo Julian2015-04-171-208/+188
* - |do bindings are now based on pattern matching (that way, tuple destructuri...Eduardo Julian2015-04-161-1219/+1239
* - Type-vars can now be deleted and be scoped (through with-var).Eduardo Julian2015-04-161-163/+160
* - Fixed a few type-related bugs.Eduardo Julian2015-04-151-174/+184
* - Function names & parameters now take prefixes into account.Eduardo Julian2015-04-091-39/+39
* - Renamed exec to |do.Eduardo Julian2015-04-081-126/+126
* Removed several useless lux files (1 example and 3 outdated rewrites of compi...Eduardo Julian2015-04-084-385/+0