aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Migrated special-form analysis to stdlib.Eduardo Julian2018-05-231-27/+0
* - Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian2018-05-201-1/+1
* - Migrated pattern-matching analysis to stdlib.Eduardo Julian2018-05-202-612/+0
* - Migrated function analysis to stdlib.Eduardo Julian2018-05-161-111/+0
* - Migrated reference analysis to stdlib.Eduardo Julian2018-05-161-57/+0
* - Migrated structure analysis to stdlib.Eduardo Julian2018-05-164-764/+0
* - Migrated primitive analysis to stdlib.Eduardo Julian2018-05-152-39/+0
* - Updated new-luxc to the latest stdlib changes.Eduardo Julian2018-05-064-5/+5
* - Adapted new-luxc's code to latest stdlib changes.Eduardo Julian2018-04-067-76/+115
* - Moved all translation code under the JVM path (in preparation for porting t...Eduardo Julian2018-01-081-1/+1
* - Fixed inference involving existentials.Eduardo Julian2018-01-041-3/+24
* - Fixed a bug when analysing empty records.Eduardo Julian2017-12-051-0/+4
* - All analysis procedures have been turned into extensions.Eduardo Julian2017-12-054-1692/+5
* - "gensym" went back to producing Code, instead of Ident.Eduardo Julian2017-12-021-4/+3
* - Added new "lux in-module" procedure for changing the module while analysing...Eduardo Julian2017-12-021-5/+23
* - Adjusted new-luxc to new macro-templating syntax.Eduardo Julian2017-12-025-13/+13
* - Adapted main codebase to the latest syntatic changes.Eduardo Julian2017-11-2913-1244/+1244
* - Changed to the new relative imports syntax.Eduardo Julian2017-11-263-7/+7
* - Fixed some bugs.Eduardo Julian2017-11-223-62/+109
* - Fixed some bugs.Eduardo Julian2017-11-216-37/+52
* - Added parallel compilation.Eduardo Julian2017-11-204-29/+46
* - Moved "luxc/lang/host/macro" to "luxc/lang/macro".Eduardo Julian2017-11-151-2/+2
* - Re-named "lux/meta" to to "lux/macro".Eduardo Julian2017-11-1512-180/+180
* - Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian2017-11-1511-18/+18
* - Moved "luxc/lang/syntax" to "lux/lang/syntax".Eduardo Julian2017-11-157-30/+30
* - Moved type-cleaning to lux/meta/type/check.Eduardo Julian2017-11-151-2/+3
* - Heavy refactoring.Eduardo Julian2017-11-1513-34/+34
* - Made "lux text clip" work like it used to.Eduardo Julian2017-11-141-1/+1
* - Fixed some bugs.Eduardo Julian2017-11-141-1/+1
* - Removed "lux text last-index" procedure.Eduardo Julian2017-11-142-24/+53
* - Yet more refactoring.Eduardo Julian2017-11-147-154/+74
* - More refactoring.Eduardo Julian2017-11-135-72/+53
* - Refactoring.Eduardo Julian2017-11-1310-462/+441
* - Improved handling of type variables.Eduardo Julian2017-11-133-19/+64
* - Type-vars no longer get deleted.Eduardo Julian2017-11-136-41/+33
* - Fixed some bugs.Eduardo Julian2017-11-124-39/+63
* - Fixed the tests.Eduardo Julian2017-11-091-1/+1
* - Fixed some bugs.Eduardo Julian2017-11-062-9/+12
* - Minor refactorings.Eduardo Julian2017-11-012-31/+3
* - Re-organized code-generation, and re-named it "translation".Eduardo Julian2017-11-011-4/+4
* - Re-organized analysis.Eduardo Julian2017-10-3113-0/+3191