aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser/inference.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Documented the analysis phase.Eduardo Julian2017-05-301-8/+101
| | | | - Some refactoring. - Removed singleton variants.
* WIPEduardo Julian2017-05-201-0/+90
- Added analysis and type-inference for records and tagged variants. - Extracted inference code to a separate module for better reuse.