aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis/type.lux (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.
* - Adapted main codebase to the latest syntatic changes.Eduardo Julian2017-11-291-9/+9
|
* - Re-named "lux/meta" to to "lux/macro".Eduardo Julian2017-11-151-3/+3
|
* - Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian2017-11-151-1/+1
|
* - Moved "luxc/lang/syntax" to "lux/lang/syntax".Eduardo Julian2017-11-151-2/+2
| | | - Minor refactoring.
* - Heavy refactoring.Eduardo Julian2017-11-151-1/+1
|
* - Improved handling of type variables.Eduardo Julian2017-11-131-6/+2
|
* - Type-vars no longer get deleted.Eduardo Julian2017-11-131-6/+6
| | | - Fixed some bugs.
* - Fixed some bugs.Eduardo Julian2017-11-121-8/+8
| | | | - Improved error reporting. - Optimized pattern-matching a bit.
* - Re-organized analysis.Eduardo Julian2017-10-311-0/+31