lux - fork of https://github.com/LuxLang/lux for my bookshelf

	Commit message (Collapse)	Author	Files	Lines
2018-01-08	- Moved all translation code under the JVM path (in preparation for porting ↵	Eduardo Julian	1	-1/+1
	the JS back-end).
2018-01-04	- Fixed inference involving existentials.	Eduardo Julian	1	-3/+24

2017-12-05	- Fixed a bug when analysing empty records.	Eduardo Julian	1	-0/+4

2017-12-05	- All analysis procedures have been turned into extensions.	Eduardo Julian	4	-1692/+5

2017-12-02	- "gensym" went back to producing Code, instead of Ident.	Eduardo Julian	1	-4/+3

2017-12-02	- Added new "lux in-module" procedure for changing the module while ↵	Eduardo Julian	1	-5/+23
	analysing an expression.
2017-12-02	- Adjusted new-luxc to new macro-templating syntax.	Eduardo Julian	5	-13/+13

2017-11-29	- Adapted main codebase to the latest syntatic changes.	Eduardo Julian	13	-1244/+1244

2017-11-26	- Changed to the new relative imports syntax.	Eduardo Julian	3	-7/+7

2017-11-22	- Fixed some bugs.	Eduardo Julian	3	-62/+109
	- Some refactoring. - Added some alternative snippets of code that new-luxc can handle better.
2017-11-21	- Fixed some bugs.	Eduardo Julian	6	-37/+52
	- Some small refactoring.
2017-11-20	- Added parallel compilation.	Eduardo Julian	4	-29/+46
	- Added aliasing. - Several bug fixes. - Some minor refactoring.
2017-11-15	- Moved "luxc/lang/host/macro" to "luxc/lang/macro".	Eduardo Julian	1	-2/+2

2017-11-15	- Re-named "lux/meta" to to "lux/macro".	Eduardo Julian	12	-180/+180

2017-11-15	- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".	Eduardo Julian	11	-18/+18

2017-11-15	- Moved "luxc/lang/syntax" to "lux/lang/syntax".	Eduardo Julian	7	-30/+30
	- Minor refactoring.
2017-11-15	- Moved type-cleaning to lux/meta/type/check.	Eduardo Julian	1	-2/+3

2017-11-15	- Heavy refactoring.	Eduardo Julian	13	-34/+34

2017-11-14	- Made "lux text clip" work like it used to.	Eduardo Julian	1	-1/+1

2017-11-14	- Fixed some bugs.	Eduardo Julian	1	-1/+1
	- new-luxc can now fully compile lux.lux!
2017-11-14	- Removed "lux text last-index" procedure.	Eduardo Julian	2	-24/+53
	- Removed "lux text trim" procedure. - Modified "lux text clip" procedure. - Some bug fixes.
2017-11-14	- Yet more refactoring.	Eduardo Julian	7	-154/+74

2017-11-13	- More refactoring.	Eduardo Julian	5	-72/+53

2017-11-13	- Refactoring.	Eduardo Julian	10	-462/+441
	- Now giving type checking/inference a higher priority. - Better error messages.
2017-11-13	- Improved handling of type variables.	Eduardo Julian	3	-19/+64

2017-11-13	- Type-vars no longer get deleted.	Eduardo Julian	6	-41/+33
	- Fixed some bugs.
2017-11-12	- Fixed some bugs.	Eduardo Julian	4	-39/+63
	- Improved error reporting. - Optimized pattern-matching a bit.
2017-11-09	- Fixed the tests.	Eduardo Julian	1	-1/+1
	- Fixed a few bugs. - Can now translate recursion.
2017-11-06	- Fixed some bugs.	Eduardo Julian	2	-9/+12

2017-11-01	- Minor refactorings.	Eduardo Julian	2	-31/+3
	- Fixed some bugs. - Enabled macro-expansion for statements.
2017-11-01	- Re-organized code-generation, and re-named it "translation".	Eduardo Julian	1	-4/+4

2017-10-31	- Re-organized analysis.	Eduardo Julian	13	-0/+3191