aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser/inference.lux (unfollow)
Commit message (Collapse)AuthorFilesLines
2017-10-31- Re-organized analysis.Eduardo Julian1-228/+0
2017-10-29- Fixed some bugs.Eduardo Julian1-57/+101
- Improved error reporting. - Implemented macro-expansion (for JVM). - Implemented "let" compilation.
2017-10-21- Updated new compiler to latest version of stdlib.Eduardo Julian1-2/+2
2017-10-18- Updated to the latest changes in stdlib.Eduardo Julian1-17/+17
2017-10-11- Migrated new-luxc to latest version of stdlib.Eduardo Julian1-10/+11
- Some refactoring.
2017-06-27- Adapted compiler to the latest stdlib changes.Eduardo Julian1-3/+3
2017-05-30- Documented the analysis phase.Eduardo Julian1-8/+101
- Some refactoring. - Removed singleton variants.
2017-05-20WIPEduardo Julian1-0/+90
- Added analysis and type-inference for records and tagged variants. - Extracted inference code to a separate module for better reuse.