aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis (unfollow)
Commit message (Expand)AuthorFilesLines
2018-05-23- Migrated special-form analysis to stdlib.Eduardo Julian1-27/+0
2018-05-20- Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian1-1/+1
2018-05-20- Migrated pattern-matching analysis to stdlib.Eduardo Julian2-612/+0
2018-05-16- Migrated function analysis to stdlib.Eduardo Julian1-111/+0
2018-05-16- Migrated reference analysis to stdlib.Eduardo Julian1-57/+0
2018-05-16- Migrated structure analysis to stdlib.Eduardo Julian4-764/+0
2018-05-15- Migrated primitive analysis to stdlib.Eduardo Julian2-39/+0
2018-05-06- Updated new-luxc to the latest stdlib changes.Eduardo Julian4-5/+5
2018-04-06- Adapted new-luxc's code to latest stdlib changes.Eduardo Julian7-76/+115
2018-01-08- Moved all translation code under the JVM path (in preparation for porting t...Eduardo Julian1-1/+1
2018-01-04- Fixed inference involving existentials.Eduardo Julian1-3/+24
2017-12-05- Fixed a bug when analysing empty records.Eduardo Julian1-0/+4
2017-12-05- All analysis procedures have been turned into extensions.Eduardo Julian4-1692/+5
2017-12-02- "gensym" went back to producing Code, instead of Ident.Eduardo Julian1-4/+3
2017-12-02- Added new "lux in-module" procedure for changing the module while analysing...Eduardo Julian1-5/+23
2017-12-02- Adjusted new-luxc to new macro-templating syntax.Eduardo Julian5-13/+13
2017-11-29- Adapted main codebase to the latest syntatic changes.Eduardo Julian13-1244/+1244
2017-11-26- Changed to the new relative imports syntax.Eduardo Julian3-7/+7
2017-11-22- Fixed some bugs.Eduardo Julian3-62/+109
2017-11-21- Fixed some bugs.Eduardo Julian6-37/+52
2017-11-20- Added parallel compilation.Eduardo Julian4-29/+46
2017-11-15- Moved "luxc/lang/host/macro" to "luxc/lang/macro".Eduardo Julian1-2/+2
2017-11-15- Re-named "lux/meta" to to "lux/macro".Eduardo Julian12-180/+180
2017-11-15- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian11-18/+18
2017-11-15- Moved "luxc/lang/syntax" to "lux/lang/syntax".Eduardo Julian7-30/+30
2017-11-15- Moved type-cleaning to lux/meta/type/check.Eduardo Julian1-2/+3
2017-11-15- Heavy refactoring.Eduardo Julian13-34/+34
2017-11-14- Made "lux text clip" work like it used to.Eduardo Julian1-1/+1
2017-11-14- Fixed some bugs.Eduardo Julian1-1/+1
2017-11-14- Removed "lux text last-index" procedure.Eduardo Julian2-24/+53
2017-11-14- Yet more refactoring.Eduardo Julian7-154/+74
2017-11-13- More refactoring.Eduardo Julian5-72/+53
2017-11-13- Refactoring.Eduardo Julian10-462/+441
2017-11-13- Improved handling of type variables.Eduardo Julian3-19/+64
2017-11-13- Type-vars no longer get deleted.Eduardo Julian6-41/+33
2017-11-12- Fixed some bugs.Eduardo Julian4-39/+63
2017-11-09- Fixed the tests.Eduardo Julian1-1/+1
2017-11-06- Fixed some bugs.Eduardo Julian2-9/+12
2017-11-01- Minor refactorings.Eduardo Julian2-31/+3
2017-11-01- Re-organized code-generation, and re-named it "translation".Eduardo Julian1-4/+4
2017-10-31- Re-organized analysis.Eduardo Julian13-0/+3191
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 04:25:37 +0000