aboutsummaryrefslogtreecommitdiff
path: root/source/lux.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Added exhaustiveness testing for exception-handling code.Eduardo Julian2015-09-121-2/+5
* - Primitive data-types can now be parameterized by other types.Eduardo Julian2015-09-121-20/+23
* - Updated the standard library.Eduardo Julian2015-09-111-141/+30
* - Added type inference for functions.Eduardo Julian2015-09-091-22/+24
* - Added the (untested) inference of tuple destructuring.Eduardo Julian2015-09-061-76/+67
* - Added type-inference when constructing tuples.Eduardo Julian2015-09-061-65/+61
* - Removed the (unnecessary) lux/meta/macro module.Eduardo Julian2015-09-061-44/+78
* - Expanded the standard library.Eduardo Julian2015-09-061-8/+8
* - Fixed the implementation of the Rec macro, which forgot to do application o...Eduardo Julian2015-09-011-60/+111
* - Added a macro to write recursive types.Eduardo Julian2015-09-011-84/+112
* - Found a compromise with the issue of certain definitions clashing with each...Eduardo Julian2015-08-311-258/+258
* - Removed the (now obsolete) `' macro.Eduardo Julian2015-08-301-376/+413
* - Remove the (unnec) "All'" and "->'" macros.Eduardo Julian2015-08-291-145/+146
* - Added some compiler optimizations.Eduardo Julian2015-08-291-168/+174
* - Removed the (unnecessary) lux/data/cont module.Eduardo Julian2015-08-291-4/+41
* - Changed the name of AllT (for-all type) to UnivQ (universal quantification).Eduardo Julian2015-08-281-426/+456
* The environments of AllT types are no longer stored inside a Maybe.Eduardo Julian2015-08-281-29/+24
* Changed the license from EPL to MPL.Eduardo Julian2015-08-281-7/+4
* Due to several performance issues and my inability to optimize them away due ...Eduardo Julian2015-08-281-445/+440
* - Restructuring how sums & products work [part 3]Eduardo Julian2015-08-231-118/+134
* - Restructuring how sums & products work [part 2]Eduardo Julian2015-08-231-72/+82
* - Restructuring how sums & products work [part 1]Eduardo Julian2015-08-231-255/+234
* - 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