aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis/inference.lux (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-05-16- Migrated structure analysis to stdlib.Eduardo Julian1-252/+0
- Added an easy way to report information in exceptions.
2018-04-06- Adapted new-luxc's code to latest stdlib changes.Eduardo Julian1-11/+17
2018-01-04- Fixed inference involving existentials.Eduardo Julian1-3/+24
2017-11-29- Adapted main codebase to the latest syntatic changes.Eduardo Julian1-94/+94
2017-11-22- Fixed some bugs.Eduardo Julian1-11/+27
- Some refactoring. - Added some alternative snippets of code that new-luxc can handle better.
2017-11-15- Re-named "lux/meta" to to "lux/macro".Eduardo Julian1-20/+20
2017-11-15- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian1-1/+1
2017-11-15- Moved "luxc/lang/syntax" to "lux/lang/syntax".Eduardo Julian1-1/+1
- Minor refactoring.
2017-11-15- Heavy refactoring.Eduardo Julian1-1/+1
2017-11-14- Yet more refactoring.Eduardo Julian1-57/+23
2017-11-13- More refactoring.Eduardo Julian1-25/+25
2017-11-13- Refactoring.Eduardo Julian1-14/+13
- Now giving type checking/inference a higher priority. - Better error messages.
2017-11-13- Type-vars no longer get deleted.Eduardo Julian1-5/+7
- Fixed some bugs.
2017-11-12- Fixed some bugs.Eduardo Julian1-16/+30
- Improved error reporting. - Optimized pattern-matching a bit.
2017-10-31- Re-organized analysis.Eduardo Julian1-2/+2
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.