aboutsummaryrefslogtreecommitdiff
path: root/source/lux.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Finished turning tags into indices.Eduardo Julian2015-08-171-336/+416
* Introduced named types (#NamedT Ident Type).Eduardo Julian2015-08-161-194/+235
* Unified tuples & records.Eduardo Julian2015-08-161-179/+152
* - Some clean-up of needless code.Eduardo Julian2015-08-161-171/+105
* - Changing tags so they're actually indices (part 4). Eduardo Julian2015-08-121-23/+4
* - Changing tags so they're actually indices (part 3). Eduardo Julian2015-08-121-50/+58
* - Changing tags so they're actually indices (part 2).Eduardo Julian2015-08-101-4/+4
* - Changing tags so they're actually indices (part 1).Eduardo Julian2015-08-101-118/+190
* - Local vars can now longer have prefixed symbols.Eduardo Julian2015-08-051-104/+116
* - The compiler now stores the cursor of the last analysed AST in order to avo...Eduardo Julian2015-08-051-12/+24
* - Struct definition no longer required prefixed members (now, it actually pro...Eduardo Julian2015-08-041-227/+242
* - Renamed the Syntax type to AST.Eduardo Julian2015-08-041-158/+158
* - Added a macro for exporting definitions (to not depend on the #export tag o...Eduardo Julian2015-08-041-19/+35
* - Type definitions inside the compiler data now hold the type itself.Eduardo Julian2015-08-031-7/+17
* - Added a module for hashing.Eduardo Julian2015-08-021-221/+340
* - Did some refactoring of the standard library.Eduardo Julian2015-07-311-504/+611
* - lux;using no longer prefixes variables.Eduardo Julian2015-07-291-2/+2
* - Changed the name of lux/host/java to lux/host/jvmEduardo Julian2015-07-261-13/+14
* - Fixed a pattern-matching error where generalizations of types (universal-qu...Eduardo Julian2015-07-261-39/+78
* - The output directory is now being used as the cache.Eduardo Julian2015-07-251-0/+2784
* - The directory for source-code is now named "input".Eduardo Julian2015-06-201-2169/+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-271-6/+7
* - 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-221-999/+1070
* - Removed the apparently unnecessary total-locals.Eduardo Julian2015-05-141-13/+33
* - 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-101-1153/+1164
* - Now analysing function-application backwards.Eduardo Julian2015-05-101-374/+308
* - 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-041-14/+138
* - Added alias-lux to import lux.lux definitions.Eduardo Julian2015-05-041-87/+125
* - 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