Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - More refactoring. | Eduardo Julian | 2017-11-13 | 5 | -72/+53 |
| | |||||
* | - Refactoring. | Eduardo Julian | 2017-11-13 | 17 | -515/+518 |
| | | | | - Now giving type checking/inference a higher priority. - Better error messages. | ||||
* | - Improved handling of type variables. | Eduardo Julian | 2017-11-13 | 3 | -19/+64 |
| | |||||
* | - Type-vars no longer get deleted. | Eduardo Julian | 2017-11-13 | 11 | -102/+110 |
| | | | - Fixed some bugs. | ||||
* | - Fixed some bugs. | Eduardo Julian | 2017-11-12 | 7 | -133/+151 |
| | | | | - Improved error reporting. - Optimized pattern-matching a bit. | ||||
* | - Fixed the tests. | Eduardo Julian | 2017-11-09 | 12 | -70/+178 |
| | | | | - Fixed a few bugs. - Can now translate recursion. | ||||
* | - Fixed some bugs. | Eduardo Julian | 2017-11-06 | 9 | -37/+62 |
| | |||||
* | - Fixed some bugs. | Eduardo Julian | 2017-11-06 | 9 | -100/+144 |
| | |||||
* | - Minor refactorings. | Eduardo Julian | 2017-11-01 | 18 | -196/+222 |
| | | | | - Fixed some bugs. - Enabled macro-expansion for statements. | ||||
* | - Re-organized code-generation, and re-named it "translation". | Eduardo Julian | 2017-11-01 | 18 | -128/+125 |
| | |||||
* | - Re-organized synthesis. | Eduardo Julian | 2017-11-01 | 15 | -31/+23 |
| | |||||
* | - Re-named "parser" to "syntax". | Eduardo Julian | 2017-10-31 | 2 | -2/+2 |
| | |||||
* | - Fixed a bug when synthetizing pattern-matching. | Eduardo Julian | 2017-10-31 | 1 | -1/+1 |
| | |||||
* | - Re-organized analysis. | Eduardo Julian | 2017-10-31 | 24 | -70/+62 |
| | |||||
* | - Migrated the format of analysis nodes from a custom data-type, to just ↵ | Eduardo Julian | 2017-10-31 | 23 | -379/+385 |
| | | | | Code nodes. | ||||
* | - Moved the "host" directory from under "generator" to under "luxc". | Eduardo Julian | 2017-10-31 | 17 | -55/+55 |
| | |||||
* | - Re-named "expr" module to "expression". | Eduardo Julian | 2017-10-31 | 4 | -9/+7 |
| | |||||
* | - Now, all special forms are handled as procedures. | Eduardo Julian | 2017-10-31 | 4 | -87/+110 |
| | | | - "lux case" now takes its branches as a non-empty record. | ||||
* | - Added "^code" pattern-matching macro for easier handling of code. | Eduardo Julian | 2017-10-30 | 1 | -10/+10 |
| | |||||
* | - Migrated the format of synthesis nodes from a custom data-type, to just ↵ | Eduardo Julian | 2017-10-30 | 8 | -374/+408 |
| | | | | Code nodes. | ||||
* | - Fixed some bugs. | Eduardo Julian | 2017-10-29 | 23 | -449/+636 |
| | | | | | - Improved error reporting. - Implemented macro-expansion (for JVM). - Implemented "let" compilation. | ||||
* | - Added a new piece of compiler state, just for storing the current-module. | Eduardo Julian | 2017-10-26 | 3 | -2/+17 |
| | |||||
* | - Fixed remaining tests in compiler. | Eduardo Julian | 2017-10-26 | 1 | -41/+52 |
| | | | - Now showing stack-traces for errors on JVM. | ||||
* | - Fixed some compiler tests. | Eduardo Julian | 2017-10-26 | 3 | -21/+53 |
| | |||||
* | - Fixed tests for analysis of common procedures. | Eduardo Julian | 2017-10-26 | 1 | -1/+2 |
| | |||||
* | - WIP: Wiring everything to get the compiler to work fully. | Eduardo Julian | 2017-10-26 | 16 | -304/+501 |
| | | | - Fixed a bug when combining field/method/class modifiers. | ||||
* | - Fixed some type-checking errors. | Eduardo Julian | 2017-10-22 | 1 | -12/+12 |
| | |||||
* | - Updated new compiler to latest version of stdlib. | Eduardo Julian | 2017-10-21 | 3 | -26/+26 |
| | |||||
* | - Compilation for method invocation. | Eduardo Julian | 2017-10-19 | 3 | -26/+191 |
| | |||||
* | - Method invocation analysis. | Eduardo Julian | 2017-10-18 | 1 | -57/+119 |
| | |||||
* | - Updated to the latest changes in stdlib. | Eduardo Julian | 2017-10-18 | 38 | -603/+595 |
| | |||||
* | - WIP: Method analysis. | Eduardo Julian | 2017-10-15 | 1 | -5/+317 |
| | |||||
* | - Compilation and tests for fields. | Eduardo Julian | 2017-10-14 | 2 | -16/+182 |
| | |||||
* | - Compilation for object-based procedures. | Eduardo Julian | 2017-10-14 | 2 | -5/+84 |
| | |||||
* | - Compilation and tests for arrays. | Eduardo Julian | 2017-10-12 | 6 | -22/+132 |
| | |||||
* | - Compilation and tests for arithmetic, bit-wise operations and order. | Eduardo Julian | 2017-10-12 | 3 | -23/+187 |
| | |||||
* | - Compilation and tests for primitive conversions. | Eduardo Julian | 2017-10-12 | 4 | -25/+150 |
| | |||||
* | - Migrated new-luxc to latest version of stdlib. | Eduardo Julian | 2017-10-11 | 28 | -464/+462 |
| | | | - Some refactoring. | ||||
* | - Improved polymorphism and inheritance support. | Eduardo Julian | 2017-10-09 | 1 | -93/+174 |
| | | | - Added casting support for automatic boxing/unboxing. | ||||
* | - WIP: Added support for inheritance. | Eduardo Julian | 2017-10-08 | 1 | -104/+127 |
| | |||||
* | - WIP: JVM field analysis. | Eduardo Julian | 2017-10-08 | 3 | -71/+389 |
| | |||||
* | - Added tests for host procedures. | Eduardo Julian | 2017-10-07 | 1 | -104/+118 |
| | |||||
* | - Simplified "eval". | Eduardo Julian | 2017-10-05 | 2 | -5/+5 |
| | |||||
* | - Added tests for type-checking and type-coercion. | Eduardo Julian | 2017-10-05 | 3 | -18/+64 |
| | | | | - Implemented "eval". - Fixed bugs when analysing variants and tuples. | ||||
* | - WIP: JVM host procedure analysis. | Eduardo Julian | 2017-10-04 | 4 | -176/+631 |
| | |||||
* | - Function generation. | Eduardo Julian | 2017-09-19 | 16 | -80/+565 |
| | |||||
* | - Added pattern-matching compilation. | Eduardo Julian | 2017-09-17 | 4 | -31/+411 |
| | |||||
* | - Re-named luxc/env to luxc/scope. | Eduardo Julian | 2017-09-08 | 8 | -17/+16 |
| | |||||
* | - Re-named "jvm-import" to "import". | Eduardo Julian | 2017-09-08 | 11 | -57/+57 |
| | |||||
* | - Replaced the term "total" with "exhaustive". | Eduardo Julian | 2017-09-07 | 2 | -28/+28 |
| |