aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/compiler/default/phase/analysis/inference.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2018-10-29Nested the compiler and the interpreter under the lux/platform/* path.Eduardo Julian1-259/+0
2018-08-23No more escaping of new-line.Eduardo Julian1-1/+1
2018-07-28Removed temporary "|" prefix on Nat.Eduardo Julian1-6/+6
2018-07-28Temporary commit to get rid of "+" signs for Nat.Eduardo Julian1-6/+6
2018-07-21- Re-named "Compiler" to "Phase".Eduardo Julian1-2/+2
2018-07-21Moved "lux/language/type/*" to "lux/type/*".Eduardo Julian1-9/+8
2018-07-20"^open" and "open:" now use aliases instead of prefixes, the same way as modu...Eduardo Julian1-2/+2
2018-07-20No longer giving default aliases to un-prefixed imports.Eduardo Julian1-6/+7
2018-07-13- Fixes for compiler build [part 0].Eduardo Julian1-9/+12
2018-07-11- Improvements to import syntax [part 2].Eduardo Julian1-10/+12
2018-07-11- Improvements to import syntax [part 1].Eduardo Julian1-2/+2
2018-07-10- Improvements to import syntax [part 0].Eduardo Julian1-4/+4
2018-07-10- Re-named path "lux/lang/*" to "lux/language/*".Eduardo Julian1-0/+0
2018-07-10- Re-named path "lux/data/coll/*" to "lux/data/collection/*".Eduardo Julian1-1/+1
2018-07-04- Re-named Bound to Paremeter.Eduardo Julian1-8/+8
2018-07-04- "with-stack" function for stacking exceptions.Eduardo Julian1-5/+3
2018-06-17- Heavy refactoring to integrate extensions better with the rest of the compi...Eduardo Julian1-63/+63
2018-05-16- Migrated structure analysis to stdlib.Eduardo Julian1-52/+56
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-14 02:42:42 +0000