Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | - Fixed bugs with octal and hexadecimal encodings for reals. | Eduardo Julian | 2017-05-11 | 1 | -11/+19 | |
| | ||||||
* | - Fixed some tests for lux/math/logic/fuzzy. | Eduardo Julian | 2017-05-09 | 1 | -0/+4 | |
| | | | | - Removed a forgotten #seed in a test for lux/math/simple. - Added Hash<Deg>. | |||||
* | - Made a small refactoring to walk around a current optimization error that ↵ | Eduardo Julian | 2017-05-09 | 1 | -9/+8 | |
| | | | | | confounds variables and makes you access the wrong value at run-time. - TODO: Fix said error. | |||||
* | - Small fixes and refactorings. | Eduardo Julian | 2017-05-09 | 3 | -20/+25 | |
| | ||||||
* | - Added custom equalities for a variety of collections. | Eduardo Julian | 2017-05-07 | 2 | -18/+55 | |
| | ||||||
* | - Added "while" and "do-while" loops for stateful computations. | Eduardo Julian | 2017-05-07 | 1 | -0/+16 | |
| | | | - Improved tests for lux/control/state. | |||||
* | - Renamed "AST" to "Code". | Eduardo Julian | 2017-05-07 | 38 | -681/+681 | |
| | ||||||
* | - Changed the name of "let%" to "with-expansions". | Eduardo Julian | 2017-05-07 | 9 | -143/+159 | |
| | ||||||
* | - Removed "T" suffix from Type's tags. | Eduardo Julian | 2017-05-07 | 12 | -512/+512 | |
| | ||||||
* | - Fully implemented Deg encoding/decoding in pure Lux. | Eduardo Julian | 2017-05-07 | 2 | -44/+95 | |
| | | | - No longer relying in LuxRT-supported implementations. | |||||
* | - Implemented Deg encoding. | Eduardo Julian | 2017-05-05 | 1 | -9/+170 | |
| | ||||||
* | - Removed the "Debug" compiler mode. | Eduardo Julian | 2017-05-04 | 1 | -13/+9 | |
| | ||||||
* | - 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 | 12 | -524/+524 | |
| | ||||||
* | - Small refactorings. | Eduardo Julian | 2017-05-03 | 1 | -16/+10 | |
| | | | - Added the width of bit-patterns. | |||||
* | - Moved lux/data/error/exception to lux/control/exception. | Eduardo Julian | 2017-05-03 | 1 | -0/+0 | |
| | ||||||
* | - Gave less cryptic names to bit-wise functions. | Eduardo Julian | 2017-05-03 | 4 | -54/+60 | |
| | | | - Improved the tests for lux/data/bit. | |||||
* | - Changes the types of a few compiler-state components. | Eduardo Julian | 2017-05-03 | 1 | -9/+6 | |
| | ||||||
* | - Changed the way Scope works, to make it independent from the notion of ↵ | Eduardo Julian | 2017-05-01 | 2 | -26/+40 | |
| | | | | | 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 | 2 | -15/+15 | |
| | ||||||
* | - Updated the compiler's type-checking context to match it with lux/type/check. | Eduardo Julian | 2017-04-30 | 5 | -172/+227 | |
| | ||||||
* | - Small refactorings and fixes. | Eduardo Julian | 2017-04-30 | 8 | -65/+98 | |
| | | | - Added <|. macro. | |||||
* | - Small refactorings. | Eduardo Julian | 2017-04-15 | 2 | -2/+3 | |
| | ||||||
* | - Added a new way to sequentially combine text lexers. | Eduardo Julian | 2017-04-14 | 1 | -0/+7 | |
| | ||||||
* | - 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 | 26 | -69/+69 | |
| | ||||||
* | - The XML header is now parsed optionally. | Eduardo Julian | 2017-04-12 | 1 | -1/+1 | |
| | ||||||
* | - Fused the lux/compiler and lux/macro modules. | Eduardo Julian | 2017-04-11 | 36 | -838/+838 | |
| | ||||||
* | - Move the modules under lux/function/* to be under lux/control/*. | Eduardo Julian | 2017-04-10 | 5 | -3/+3 | |
| | ||||||
* | - 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 | 6 | -83/+83 | |
| | ||||||
* | - Renamed _lux_lambda to _lux_function. | Eduardo Julian | 2017-04-10 | 2 | -73/+73 | |
| | ||||||
* | - Renamed "lambda" to "function". | Eduardo Julian | 2017-04-10 | 50 | -794/+796 | |
| | ||||||
* | - 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 | 1 | -1/+1 | |
| | ||||||
* | - Added delimited continuations, with static shifting. | Eduardo Julian | 2017-04-09 | 1 | -10/+24 | |
| | ||||||
* | - Improved the implementation of continuations. | Eduardo Julian | 2017-04-08 | 2 | -60/+66 | |
| | ||||||
* | - 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 | 1 | -0/+264 | |
| | ||||||
* | - Renamed lux/data/text;replace to replace-all. | Eduardo Julian | 2017-04-06 | 5 | -72/+83 | |
| | | | - Did some refactorings for lexers. | |||||
* | - Made some changes to (rose) trees and zippers. | Eduardo Julian | 2017-04-06 | 2 | -28/+65 | |
| | ||||||
* | - Added binary, octal and hexadecimal codecs for reals. | Eduardo Julian | 2017-04-06 | 1 | -15/+258 | |
| | | | - Added octal codec for degs. | |||||
* | - Added binary and hexadecimal syntax for degs. | Eduardo Julian | 2017-04-05 | 1 | -3/+39 | |
| | ||||||
* | - Added binary, octal and hexadecimal codecs for ints. | Eduardo Julian | 2017-04-05 | 1 | -132/+110 | |
| | | | | - Generalized the bin, oct and hex macros so they also work with ints (in the future, they will also work with degs and reals). - Binary, octal and hexadecimal nats now have a + sign in front, like normal nats. | |||||
* | - Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and ↵ | Eduardo Julian | 2017-04-05 | 8 | -77/+46 | |
| | | | | | | | | | lux/data/text/regex. - Moved lux/pipe to lux/control/pipe. - Moved the @pre and @post macros to lux/control/contract. - Improved error reporting for lux/type/auto. - Added a test for third-order type-checking for lux/type/auto. - Fixed a bug in the tests for lux/data/coll/vector. | |||||
* | - Implemented a few comonads. | Eduardo Julian | 2017-04-05 | 3 | -0/+99 | |
| | ||||||
* | - :: can now be used to refer to sub-structures within a structure. | Eduardo Julian | 2017-04-04 | 5 | -43/+57 | |
| | ||||||
* | - Priority-queues and sequences can now be empty. | Eduardo Julian | 2017-04-03 | 2 | -153/+242 | |
| | ||||||
* | - Renamed lux/codata/* to lux/function/* and moved the ↵ | Eduardo Julian | 2017-04-03 | 15 | -16/+10 | |
| | | | | lux/codata/coll/stream to lux/data/coll/stream. |