aboutsummaryrefslogtreecommitdiff
path: root/source (unfollow)
Commit message (Expand)AuthorFilesLines
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
2015-04-08- Renamed exec to |do.Eduardo Julian1-126/+126
2015-04-08Removed several useless lux files (1 example and 3 outdated rewrites of compi...Eduardo Julian4-385/+0
2015-04-02- Identifiers with just a semi-colon in front now have "lux" as their module,...Eduardo Julian1-920/+1079
2015-03-30- Beginning to add type-system + type-inferencer.Eduardo Julian1-920/+1100
2015-03-22- Fixed the bug that caused the infinite look while compiling the file.Eduardo Julian1-1/+1
2015-03-22- Added code-cursors (file-name, line-number, column-number) as metadata on l...Eduardo Julian1-207/+218
2015-03-21- Added the reading-phase and it's associated structure as the mediator betwe...Eduardo Julian1-4/+25
2015-03-21- Added module-name aliasing.Eduardo Julian1-102/+112
2015-03-21[2nd Super Refactoring That Breaks The System: Part 7]Eduardo Julian1-416/+420
2015-03-20[2nd Super Refactoring That Breaks The System: Part 6]Eduardo Julian1-226/+229
2015-03-19[2nd Super Refactoring That Breaks The System: Part 5]Eduardo Julian1-817/+817
2015-03-17[2nd Super Refactoring That Breaks The System: Part 2]Eduardo Julian1-49/+67
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-25 18:25:45 +0000