aboutsummaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2015-05-27- _jvm_program now relies on the (IO (,)) type.Eduardo Julian3-7/+82
2015-05-26- Now using an in-memory class-loader.Eduardo Julian3-16/+47
2015-05-24- Cleaned-up a few things in lux.luxEduardo Julian10-330/+332
2015-05-22- Added a simple optimization based on the idea of avoiding to compare 2 type...Eduardo Julian1-33/+35
2015-05-22- Corrected the indentation issues in the lux files.Eduardo Julian9-157/+227
2015-05-14- Removed the apparently unnecessary total-locals.Eduardo Julian3-110/+2
2015-05-14- Multi-line comments have returned.Eduardo Julian3-19/+62
2015-05-10- Changed the names of the tags of the Syntax type to differentiate them bett...Eduardo Julian7-189/+189
2015-05-10- Switched to the new prefix convention for both lux's special forms and the ...Eduardo Julian8-211/+238
2015-05-10- Now analysing function-application backwards.Eduardo Julian4-81/+84
2015-05-07- Eliminated #eval-ctor from the HostState and now #seed is used for the same...Eduardo Julian5-50/+42
2015-05-06- Made several optimizations to the compiler.Eduardo Julian14-243/+177
2015-05-06- Made some small optimizations in the compiler.Eduardo Julian9-95/+108
2015-05-06- Removed a few unused definitions inside lux.baseEduardo Julian1-91/+3
2015-05-06- Removed all the unnecesary comments.Eduardo Julian20-1002/+689
2015-05-04v0.1Eduardo Julian2-10/+81
2015-05-04- Added the LuxVar type to properly specify the type of environment bindings.Eduardo Julian10-117/+203
2015-05-04- Added alias-lux to import lux.lux definitions.Eduardo Julian8-59/+108
2015-05-03- Added def-aliasing.Eduardo Julian3-22/+54
2015-05-03- Added ;;self-prefixes.Eduardo Julian2-90/+94
2015-05-03- Optimized the compiler by eliminating reflection.Eduardo Julian14-133/+78
2015-05-03- Fixed escaping in charsEduardo Julian2-4/+4
2015-05-03- The type syntax is finally complete ^_^Eduardo Julian7-51/+36
2015-05-02- Implemented some new macros & functions in lux.lux.Eduardo Julian3-36/+39
2015-05-02- Finally got find-macro & macro-expand to work... (Note: type-vars bug is st...Eduardo Julian3-71/+78
2015-05-01- Added existential types via #ExT.Eduardo Julian3-46/+18
2015-05-01Optimized the compiler with 2 tweaks:Eduardo Julian11-123/+104
2015-05-01- Added the lux;seed slot to the compiler state.Eduardo Julian5-34/+74
2015-05-01- declare-macro has returned.Eduardo Julian7-67/+157
2015-04-30- Implemented pattern-matching for records.Eduardo Julian4-44/+111
2015-04-30- Improved the way vars are deleted by including code to remove all reference...Eduardo Julian1-8/+28
2015-04-29- Made a slight correction to the Syntax type when it comes to records (slot-...Eduardo Julian1-17/+33
2015-04-28- Fixed some errors in lux.lux.Eduardo Julian11-161/+189
2015-04-26- Added a new type of definition (#TypeD (,)), to take advantage of an optimi...Eduardo Julian1-10/+28
2015-04-26- lux/analyser/def has been renamed to lux/analyser/module.Eduardo Julian6-239/+275
2015-04-26Made a correction to lux.lux and the analyser regarding how to handle type-vars.Eduardo Julian2-5/+13
2015-04-26Made a small change in regards to how global defs are resolved.Eduardo Julian3-6/+14
2015-04-26- Macros are no longer declared. Instead, they are automatically detected.Eduardo Julian3-16/+95
2015-04-25- No more Any (Top) and Nothing (Bottom) types.Eduardo Julian6-294/+282
2015-04-25- More accurate AllT environment management by using (Maybe TypeEnv) instead ...Eduardo Julian1-29/+56
2015-04-23- Migrated all the record data-structures to the new tuple-like format.Eduardo Julian8-95/+122
2015-04-23- Fused lux;local-envs & lux;global-envs as lux;envs.Eduardo Julian5-70/+58
2015-04-23- Added a dummy implementation of "export'".Eduardo Julian6-68/+58
2015-04-23- Removed analyse-2, as it was redundant.Eduardo Julian8-62/+87
2015-04-19- Fixed several bugs in lux.luxEduardo Julian10-273/+307
2015-04-17- Solved the bug wherein type-inferencing was causing computational complexit...Eduardo Julian3-114/+110
2015-04-16- |do bindings are now based on pattern matching (that way, tuple destructuri...Eduardo Julian10-374/+366
2015-04-16- Type-vars can now be deleted and be scoped (through with-var).Eduardo Julian8-332/+474
2015-04-15- Fixed a few type-related bugs.Eduardo Julian9-325/+284
2015-04-09- Function names & parameters now take prefixes into account.Eduardo Julian7-63/+155