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