aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis/inference.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Refactoring.Eduardo Julian2017-11-131-14/+13
| | | | - Now giving type checking/inference a higher priority. - Better error messages.
* - Type-vars no longer get deleted.Eduardo Julian2017-11-131-5/+7
| | | - Fixed some bugs.
* - Fixed some bugs.Eduardo Julian2017-11-121-16/+30
| | | | - Improved error reporting. - Optimized pattern-matching a bit.
* - Re-organized analysis.Eduardo Julian2017-10-311-0/+228