aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-01-08- Moved all translation code under the JVM path (in preparation for porting ↵Eduardo Julian1-1/+1
the JS back-end).
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 ↵Eduardo Julian1-5/+23
analysing an expression.
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
- Some refactoring. - Added some alternative snippets of code that new-luxc can handle better.
2017-11-21- Fixed some bugs.Eduardo Julian6-37/+52
- Some small refactoring.
2017-11-20- Added parallel compilation.Eduardo Julian4-29/+46
- Added aliasing. - Several bug fixes. - Some minor refactoring.
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
- Minor refactoring.
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
- new-luxc can now fully compile lux.lux!
2017-11-14- Removed "lux text last-index" procedure.Eduardo Julian2-24/+53
- Removed "lux text trim" procedure. - Modified "lux text clip" procedure. - Some bug fixes.
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
- Now giving type checking/inference a higher priority. - Better error messages.
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
- Fixed some bugs.
2017-11-12- Fixed some bugs.Eduardo Julian4-39/+63
- Improved error reporting. - Optimized pattern-matching a bit.
2017-11-09- Fixed the tests.Eduardo Julian1-1/+1
- Fixed a few bugs. - Can now translate recursion.
2017-11-06- Fixed some bugs.Eduardo Julian2-9/+12
2017-11-01- Minor refactorings.Eduardo Julian2-31/+3
- Fixed some bugs. - Enabled macro-expansion for statements.
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