aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* - Fixed some bugs.Eduardo Julian2017-11-2129-737/+781
| | | - Some small refactoring.
* - Added parallel compilation.Eduardo Julian2017-11-2031-377/+740
| | | | | - Added aliasing. - Several bug fixes. - Some minor refactoring.
* - Added "Process" type for IO operations that can fail.Eduardo Julian2017-11-164-19/+48
|
* - Moved "luxc/lang/host/macro" to "luxc/lang/macro".Eduardo Julian2017-11-153-8/+8
|
* - Re-named "lux/meta" to to "lux/macro".Eduardo Julian2017-11-15113-904/+905
|
* - Moved "/type/*" to from "lux/meta/" to "lux/".Eduardo Julian2017-11-1524-128/+122
|
* - Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian2017-11-1538-89/+86
|
* - Re-named "lux/meta/type/auto" to "lux/meta/type/implicit".Eduardo Julian2017-11-154-3/+3
|
* - Moved "luxc/lang/syntax" to "lux/lang/syntax".Eduardo Julian2017-11-1519-71/+71
| | | - Minor refactoring.
* - Moved type-cleaning to lux/meta/type/check.Eduardo Julian2017-11-153-41/+41
|
* - Got the tests to run again.Eduardo Julian2017-11-1515-95/+93
|
* - Heavy refactoring.Eduardo Julian2017-11-1540-160/+154
|
* - Small refactoring.Eduardo Julian2017-11-142-61/+61
|
* - Modified the syntax for module definitions.Eduardo Julian2017-11-144-26/+46
| | | - Fixed some bugs.
* - Made "lux text clip" work like it used to.Eduardo Julian2017-11-149-93/+97
|
* - Fixed some bugs.Eduardo Julian2017-11-145-20/+71
| | | - new-luxc can now fully compile lux.lux!
* - Removed "lux text last-index" procedure.Eduardo Julian2017-11-1416-224/+249
| | | | | - Removed "lux text trim" procedure. - Modified "lux text clip" procedure. - Some bug fixes.
* - Implemented loop translation.Eduardo Julian2017-11-144-47/+101
|
* - Added hashing to avoid collisions in case-insensitive file-systems.Eduardo Julian2017-11-143-12/+13
|
* - Yet more refactoring.Eduardo Julian2017-11-1411-321/+233
|
* - More refactoring.Eduardo Julian2017-11-135-72/+53
|
* - Refactoring.Eduardo Julian2017-11-1317-515/+518
| | | | - Now giving type checking/inference a higher priority. - Better error messages.
* - Improved handling of type variables.Eduardo Julian2017-11-134-29/+85
|
* - Type-vars no longer get deleted.Eduardo Julian2017-11-1321-316/+230
| | | - Fixed some bugs.
* - Fixed some bugs.Eduardo Julian2017-11-1210-584/+642
| | | | - Improved error reporting. - Optimized pattern-matching a bit.
* - Fixed the tests.Eduardo Julian2017-11-0914-129/+237
| | | | - Fixed a few bugs. - Can now translate recursion.
* - Fixed some bugs.Eduardo Julian2017-11-069-37/+62
|
* - Changed how Lux procedures work on the old compiler and the stdlib.Eduardo Julian2017-11-0620-712/+669
|
* - Fixed some bugs.Eduardo Julian2017-11-069-100/+144
|
* - Improved "let>"'s design.Eduardo Julian2017-11-061-7/+4
|
* - Minor refactorings.Eduardo Julian2017-11-0127-320/+346
| | | | - Fixed some bugs. - Enabled macro-expansion for statements.
* - Re-organized code-generation, and re-named it "translation".Eduardo Julian2017-11-0129-350/+347
|
* - Re-organized synthesis.Eduardo Julian2017-11-0129-74/+60
|
* - Re-named "parser" to "syntax".Eduardo Julian2017-10-314-5/+5
|
* - Fixed a bug when synthetizing pattern-matching.Eduardo Julian2017-10-311-1/+1
|
* - Re-organized analysis.Eduardo Julian2017-10-3143-123/+107
|
* - "^code" can now be used as a normal macro, when pattern-matching using the ↵Eduardo Julian2017-10-311-1/+6
| | | | "^" macro.
* - Migrated the format of analysis nodes from a custom data-type, to just ↵Eduardo Julian2017-10-3135-565/+523
| | | | Code nodes.
* - Moved the "host" directory from under "generator" to under "luxc".Eduardo Julian2017-10-3118-59/+59
|
* - Re-named "expr" module to "expression".Eduardo Julian2017-10-3111-104/+102
|
* - Now, all special forms are handled as procedures.Eduardo Julian2017-10-3113-1262/+1285
| | | - "lux case" now takes its branches as a non-empty record.
* - Added a test to check that can parse more than 1 Code node at once.Eduardo Julian2017-10-311-9/+25
|
* - Added "^code" pattern-matching macro for easier handling of code.Eduardo Julian2017-10-303-11/+87
|
* - Added "lux check type" to old compiler.Eduardo Julian2017-10-302-9/+13
|
* - Migrated the format of synthesis nodes from a custom data-type, to just ↵Eduardo Julian2017-10-3022-820/+841
| | | | Code nodes.
* - Fixed some bugs.Eduardo Julian2017-10-2929-462/+676
| | | | | - Improved error reporting. - Implemented macro-expansion (for JVM). - Implemented "let" compilation.
* - Testing definition generation and reference.Eduardo Julian2017-10-262-0/+57
|
* - 2 tests in the stdlib got fixed after the random unicode text fix.Eduardo Julian2017-10-262-2/+2
|
* - Added a new piece of compiler state, just for storing the current-module.Eduardo Julian2017-10-268-131/+122
|
* - Fixed remaining tests in compiler.Eduardo Julian2017-10-264-180/+182
| | | - Now showing stack-traces for errors on JVM.