Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | - Fully implemented Deg encoding/decoding in pure Lux. | Eduardo Julian | 2017-05-07 | 7 | -706/+96 | |
| | | | - No longer relying in LuxRT-supported implementations. | |||||
* | - Fixed a bug when compiling array-get, by just having it assume Object[] ↵ | Eduardo Julian | 2017-05-05 | 1 | -2/+1 | |
| | | | | for all arrays. | |||||
* | - Implemented Deg encoding. | Eduardo Julian | 2017-05-05 | 1 | -9/+170 | |
| | ||||||
* | - Removed the "Debug" compiler mode. | Eduardo Julian | 2017-05-04 | 6 | -36/+21 | |
| | ||||||
* | - zip and zip-with are now parameterized with Nats. | Eduardo Julian | 2017-05-04 | 1 | -25/+27 | |
| | ||||||
* | - Removed the "S" suffix from AST tags. | Eduardo Julian | 2017-05-03 | 25 | -690/+690 | |
| | ||||||
* | - Removed the "module-states" data (which shouldn't be there to begin with). | Eduardo Julian | 2017-05-03 | 1 | -2/+0 | |
| | ||||||
* | - Small refactorings. | Eduardo Julian | 2017-05-03 | 2 | -22/+14 | |
| | | | - Added the width of bit-patterns. | |||||
* | - Moved lux/data/error/exception to lux/control/exception. | Eduardo Julian | 2017-05-03 | 2 | -2/+2 | |
| | ||||||
* | - Gave less cryptic names to bit-wise functions. | Eduardo Julian | 2017-05-03 | 5 | -95/+111 | |
| | | | - Improved the tests for lux/data/bit. | |||||
* | - Changes the types of a few compiler-state components. | Eduardo Julian | 2017-05-03 | 1 | -9/+6 | |
| | ||||||
* | - WIP: Implemented more functionality. | Eduardo Julian | 2017-05-03 | 14 | -421/+706 | |
| | | | - Lots of refactorings. | |||||
* | - Made some changes in the way the parser works. | Eduardo Julian | 2017-05-03 | 2 | -89/+86 | |
| | ||||||
* | - WIP: Some initial implementations for some re-written infrastructure. | Eduardo Julian | 2017-05-01 | 17 | -70/+1109 | |
| | ||||||
* | - Changed the way Scope works, to make it independent from the notion of ↵ | Eduardo Julian | 2017-05-01 | 5 | -34/+56 | |
| | | | | | Analysis, and make it easier to port to the new re-written compiler. - Fixed a type-bug when asserting whether a def is being re-defined. | |||||
* | - Renamed fields of scopes. | Eduardo Julian | 2017-04-30 | 6 | -30/+30 | |
| | ||||||
* | - Separated the analysis of definitions from the analysis of variables. | Eduardo Julian | 2017-04-30 | 7 | -23/+12 | |
| | ||||||
* | - Updated the compiler's type-checking context to match it with lux/type/check. | Eduardo Julian | 2017-04-30 | 7 | -200/+276 | |
| | ||||||
* | - Small refactorings and fixes. | Eduardo Julian | 2017-04-30 | 8 | -65/+98 | |
| | | | - Added <|. macro. | |||||
* | - Added <|. to syntax highlights. | Eduardo Julian | 2017-04-30 | 1 | -2/+2 | |
| | | | - Fixed an indentation bug for "with-" macros. | |||||
* | - Fixed a bug when parsing constructor arguments. | Eduardo Julian | 2017-04-30 | 1 | -0/+1 | |
| | ||||||
* | - Improved the precision of (Deg)ree division. | Eduardo Julian | 2017-04-17 | 2 | -12/+65 | |
| | ||||||
* | - Some refactorings. | Eduardo Julian | 2017-04-15 | 2 | -111/+317 | |
| | | | - Added documentation for luxc/parser. | |||||
* | - Fixed a bug with multi-line comments. | Eduardo Julian | 2017-04-15 | 2 | -59/+81 | |
| | ||||||
* | - Fixed some bugs. | Eduardo Julian | 2017-04-15 | 2 | -38/+106 | |
| | | | - Added tests for multi-line text and single-line comments. | |||||
* | - Small refactorings. | Eduardo Julian | 2017-04-15 | 2 | -2/+3 | |
| | ||||||
* | - Fixed some bugs. | Eduardo Julian | 2017-04-14 | 1 | -33/+60 | |
| | | | - Implemented multi-line text. | |||||
* | - The lexer now takes cursors into account. | Eduardo Julian | 2017-04-14 | 2 | -119/+230 | |
| | ||||||
* | - Added a new way to sequentially combine text lexers. | Eduardo Julian | 2017-04-14 | 1 | -0/+7 | |
| | ||||||
* | - Added tests for parser. | Eduardo Julian | 2017-04-14 | 3 | -1/+94 | |
| | ||||||
* | - Initial parser implementation (still missing correct cursors and ↵ | Eduardo Julian | 2017-04-14 | 2 | -2/+207 | |
| | | | | multi-line text). | |||||
* | - Development of the new re-written compiler has officially begun! | Eduardo Julian | 2017-04-14 | 2 | -0/+96 | |
| | ||||||
* | - Fixed the way "program:" CLI params are specified. | Eduardo Julian | 2017-04-14 | 1 | -8/+21 | |
| | | | - Added before/after combinators to lux/cli. | |||||
* | - Simplified some of the documentation and error messages. | Eduardo Julian | 2017-04-12 | 27 | -77/+69 | |
| | ||||||
* | - The XML header is now parsed optionally. | Eduardo Julian | 2017-04-12 | 1 | -1/+1 | |
| | ||||||
* | - Removed CHECKCASTs related to make_none and make_some. | Eduardo Julian | 2017-04-12 | 2 | -19/+12 | |
| | ||||||
* | - Fused the lux/compiler and lux/macro modules. | Eduardo Julian | 2017-04-11 | 40 | -843/+842 | |
| | ||||||
* | - Move the modules under lux/function/* to be under lux/control/*. | Eduardo Julian | 2017-04-10 | 11 | -20/+20 | |
| | ||||||
* | - Move the structures for the Free monad into lux/control/monad. | Eduardo Julian | 2017-04-10 | 2 | -59/+59 | |
| | ||||||
* | - Renamed "LambdaT" to "FunctionT". | Eduardo Julian | 2017-04-10 | 15 | -114/+114 | |
| | ||||||
* | - Renamed _lux_lambda to _lux_function. | Eduardo Julian | 2017-04-10 | 11 | -134/+133 | |
| | ||||||
* | - Renamed "lambda" to "function". | Eduardo Julian | 2017-04-10 | 70 | -860/+867 | |
| | ||||||
* | - Renamed lambda' and lambda'' to function' and function''. | Eduardo Julian | 2017-04-10 | 1 | -613/+613 | |
| | ||||||
* | - Some refactoring about continuations. | Eduardo Julian | 2017-04-09 | 2 | -59/+52 | |
| | ||||||
* | - Added delimited continuations, with static shifting. | Eduardo Julian | 2017-04-09 | 2 | -49/+93 | |
| | ||||||
* | - Improved the implementation of continuations. | Eduardo Julian | 2017-04-08 | 3 | -68/+88 | |
| | ||||||
* | - Improved the way the message is shown when the tests are done running. | Eduardo Julian | 2017-04-08 | 1 | -3/+3 | |
| | ||||||
* | - Fixed a bug in the way the Rec macro worked (it didn't update the indices ↵ | Eduardo Julian | 2017-04-08 | 1 | -1/+2 | |
| | | | | of its body type). | |||||
* | - Added XML support. | Eduardo Julian | 2017-04-06 | 3 | -1/+332 | |
| | ||||||
* | - Renamed lux/data/text;replace to replace-all. | Eduardo Julian | 2017-04-06 | 6 | -73/+84 | |
| | | | - Did some refactorings for lexers. |