aboutsummaryrefslogtreecommitdiff
path: root/src/lux/compiler (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Added type-inference when constructing tuples.Eduardo Julian2015-09-061-2/+2
* - Found a compromise with the issue of certain definitions clashing with each...Eduardo Julian2015-08-311-3/+6
* - Added call/cc to lux/codata/lazy.Eduardo Julian2015-08-301-7/+5
* - Removed the (unnecessary) lux/data/cont module.Eduardo Julian2015-08-291-1/+1
* - Changed the name of AllT (for-all type) to UnivQ (universal quantification).Eduardo Julian2015-08-281-9/+10
* The environments of AllT types are no longer stored inside a Maybe.Eduardo Julian2015-08-281-12/+6
* Changed the license from EPL to MPL.Eduardo Julian2015-08-2810-70/+40
* Due to several performance issues and my inability to optimize them away due ...Eduardo Julian2015-08-287-184/+159
* - Restructuring how sums & products work [part 2]Eduardo Julian2015-08-233-10/+20
* - Restructuring how sums & products work [part 1]Eduardo Julian2015-08-237-160/+175
* - Tags data is now stored in the cache.Eduardo Julian2015-08-185-19/+79
* - Finished turning tags into indices.Eduardo Julian2015-08-172-1/+11
* Unified tuples & records.Eduardo Julian2015-08-161-7/+0
* - Changing tags so they're actually indices (part 4). Eduardo Julian2015-08-121-1/+1
* - Changing tags so they're actually indices (part 3). Eduardo Julian2015-08-123-45/+1
* - Changing tags so they're actually indices (part 2).Eduardo Julian2015-08-102-10/+7
* - Changing tags so they're actually indices (part 1).Eduardo Julian2015-08-101-5/+10
* Refactored the tags for the analyser.Eduardo Julian2015-08-083-8/+9
* Refactored the tags of definitions.Eduardo Julian2015-08-082-5/+5
* Refactored tags for pattern-matching and vars.Eduardo Julian2015-08-081-9/+10
* More factoring of tags.Eduardo Julian2015-08-063-27/+27
* Started factoring out the tags used in variants within the compiler.Eduardo Julian2015-08-062-13/+13
* - Fixed some errors with argument ordering with JVM arithmetic ops.Eduardo Julian2015-08-061-6/+6
* - Refacted the compiler by shifting to a pattern-matching syntax more akin to...Eduardo Julian2015-08-066-78/+81
* - Type definitions inside the compiler data now hold the type itself.Eduardo Julian2015-08-035-37/+71
* - Added a module for hashing.Eduardo Julian2015-08-021-1/+1
* - Did some refactoring of the standard library.Eduardo Julian2015-07-313-67/+87
* - lux;using no longer prefixes variables.Eduardo Julian2015-07-294-89/+217
* - Changed the name of lux/host/java to lux/host/jvmEduardo Julian2015-07-261-4/+1
* - Fixed a pattern-matching error where generalizations of types (universal-qu...Eduardo Julian2015-07-266-107/+110
* - The output directory is now being used as the cache.Eduardo Julian2015-07-252-129/+150
* /cache and /output now using same format.Eduardo Julian2015-07-253-55/+24
* - Removed the "seen-sources" field from the compiler state.Eduardo Julian2015-07-241-69/+71
* - Fixed an error when compiling Java field access (both static & virtual).Eduardo Julian2015-07-243-74/+87
* - Added a few more modules.Eduardo Julian2015-07-191-20/+28
* Added copyright notice on all files that missed it.Eduardo Julian2015-07-195-0/+40
* - Some bug fixes.Eduardo Julian2015-07-192-18/+19
* - Added the beginnings of the standard library.Eduardo Julian2015-07-122-14/+26
* - The backwards analysis of function application is back.Eduardo Julian2015-06-211-3/+6
* - The directory for source-code is now named "input".Eduardo Julian2015-06-204-66/+211
* - Put definition metadata into the generated .class files.Eduardo Julian2015-06-091-6/+146
* - Finished _jvm-interface_ & _jvm-class_.Eduardo Julian2015-05-312-32/+62
* - _jvm_program now relies on the (IO (,)) type.Eduardo Julian2015-05-271-6/+77
* - Now using an in-memory class-loader.Eduardo Julian2015-05-261-9/+17
* - Corrected the indentation issues in the lux files.Eduardo Julian2015-05-221-6/+3
* - Removed the apparently unnecessary total-locals.Eduardo Julian2015-05-142-108/+2
* - Now analysing function-application backwards.Eduardo Julian2015-05-101-3/+6
* - Eliminated #eval-ctor from the HostState and now #seed is used for the same...Eduardo Julian2015-05-071-2/+2
* - Made several optimizations to the compiler.Eduardo Julian2015-05-063-77/+64
* - Made some small optimizations in the compiler.Eduardo Julian2015-05-063-30/+29