aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis (follow)
Commit message (Collapse)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
| | | - Removed some modules that should have been deleted before.
* - 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
| | | - Added an easy way to report information in exceptions.
* - 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 ↵Eduardo Julian2018-01-081-1/+1
| | | | the JS back-end).
* - 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 ↵Eduardo Julian2017-12-021-5/+23
| | | | analysing an expression.
* - 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
| | | | - Some refactoring. - Added some alternative snippets of code that new-luxc can handle better.
* - Fixed some bugs.Eduardo Julian2017-11-216-37/+52
| | | - Some small refactoring.
* - Added parallel compilation.Eduardo Julian2017-11-204-29/+46
| | | | | - Added aliasing. - Several bug fixes. - Some minor refactoring.
* - 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
| | | - Minor refactoring.
* - 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
| | | - new-luxc can now fully compile lux.lux!
* - Removed "lux text last-index" procedure.Eduardo Julian2017-11-142-24/+53
| | | | | - Removed "lux text trim" procedure. - Modified "lux text clip" procedure. - Some bug fixes.
* - Yet more refactoring.Eduardo Julian2017-11-147-154/+74
|
* - More refactoring.Eduardo Julian2017-11-135-72/+53
|
* - Refactoring.Eduardo Julian2017-11-1310-462/+441
| | | | - Now giving type checking/inference a higher priority. - Better error messages.
* - 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.
* - Fixed some bugs.Eduardo Julian2017-11-124-39/+63
| | | | - Improved error reporting. - Optimized pattern-matching a bit.
* - Fixed the tests.Eduardo Julian2017-11-091-1/+1
| | | | - Fixed a few bugs. - Can now translate recursion.
* - Fixed some bugs.Eduardo Julian2017-11-062-9/+12
|
* - Minor refactorings.Eduardo Julian2017-11-012-31/+3
| | | | - Fixed some bugs. - Enabled macro-expansion for statements.
* - Re-organized code-generation, and re-named it "translation".Eduardo Julian2017-11-011-4/+4
|
* - Re-organized analysis.Eduardo Julian2017-10-3113-0/+3191