aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* - 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.
* - "primitive" macro can now handle primitives as text.Eduardo Julian2017-10-261-0/+6
|
* - Fixed some compiler tests.Eduardo Julian2017-10-266-60/+159
|
* - Fixed tests for analysis of common procedures.Eduardo Julian2017-10-262-9/+11
|
* - Fixed parser tests.Eduardo Julian2017-10-261-8/+5
|
* - Fixed random text generation to avoid characters in invalid Unicode ranges.Eduardo Julian2017-10-261-11/+91
|
* - "Fixed" the tests to match the latest changes.Eduardo Julian2017-10-263-72/+72
|
* - Fixed some small defects.Eduardo Julian2017-10-263-54/+71
|
* - WIP: Wiring everything to get the compiler to work fully.Eduardo Julian2017-10-2618-309/+507
| | | - Fixed a bug when combining field/method/class modifiers.
* - Changed the way some special forms work.Eduardo Julian2017-10-259-2040/+2047
|
* - Better names for piping macros.Eduardo Julian2017-10-222-56/+46
|
* - Fixed some type-checking errors.Eduardo Julian2017-10-222-32/+43
|
* - Updated new compiler to latest version of stdlib.Eduardo Julian2017-10-2124-2169/+2287
|
* - Added circular rings of type-variables to keep track of unified variables ↵Eduardo Julian2017-10-212-118/+369
| | | | during type-checking.
* - Re-named "Host" to "Primitive".Eduardo Julian2017-10-2024-200/+200
|
* - Restored the capacity to get the failing seed.Eduardo Julian2017-10-201-29/+18
|
* - Replaced the "#seed" and "#times" options for "seed" and "times" test ↵Eduardo Julian2017-10-2055-3245/+3446
| | | | combinators.
* - Implemented an more comfortable alternative to "with-expansions".Eduardo Julian2017-10-194-140/+191
|
* - Compilation for method invocation.Eduardo Julian2017-10-194-27/+263
|
* - Fixed a bug when converting an array into a list (also improved the ↵Eduardo Julian2017-10-181-11/+13
| | | | performance).
* - Method invocation analysis.Eduardo Julian2017-10-182-57/+166
|
* - Updated to the latest changes in stdlib.Eduardo Julian2017-10-1856-962/+954
|