aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser/inference.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Re-organized analysis.Eduardo Julian2017-10-311-228/+0
|
* - Fixed some bugs.Eduardo Julian2017-10-291-57/+101
| | | | | - Improved error reporting. - Implemented macro-expansion (for JVM). - Implemented "let" compilation.
* - Updated new compiler to latest version of stdlib.Eduardo Julian2017-10-211-2/+2
|
* - Updated to the latest changes in stdlib.Eduardo Julian2017-10-181-17/+17
|
* - Migrated new-luxc to latest version of stdlib.Eduardo Julian2017-10-111-10/+11
| | | - Some refactoring.
* - Adapted compiler to the latest stdlib changes.Eduardo Julian2017-06-271-3/+3
|
* - 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.