aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis/inference.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2018-05-16- Migrated structure analysis to stdlib.Eduardo Julian1-252/+0
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
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
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
2017-11-13- Type-vars no longer get deleted.Eduardo Julian1-5/+7
2017-11-12- Fixed some bugs.Eduardo Julian1-16/+30
2017-10-31- Re-organized analysis.Eduardo Julian1-2/+2
2017-10-29- Fixed some bugs.Eduardo Julian1-57/+101
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
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
2017-05-20WIPEduardo Julian1-0/+90