Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - 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. | ||||
* | - Implemented Int encoding/decoding in the standard library. | Eduardo Julian | 2017-04-03 | 16 | -188/+239 |
| | | | | | - Moved some type-constructors for building functor types into the lux/control/functor module. - Renamed Ord to Order. - Renamed Env to Reader. | ||||
* | - Some refactorings, new types & functions, and moved the lux/effect module ↵ | Eduardo Julian | 2017-04-01 | 7 | -57/+90 |
| | | | | to lux/control/effect. | ||||
* | - Added a macro for pattern-matching using regular-expressions. | Eduardo Julian | 2017-04-01 | 1 | -2/+25 |
| | |||||
* | - Nat encoding/decoding is now implemented in the standard library. | Eduardo Julian | 2017-03-30 | 2 | -5/+79 |
| | |||||
* | - Implemented ordered sets by means of red-black trees. | Eduardo Julian | 2017-03-30 | 1 | -0/+493 |
| | |||||
* | - Implemented finger-trees. | Eduardo Julian | 2017-03-28 | 5 | -4/+352 |
| | | | - Implemented random-access sequences and priority-queues on top of finger-trees. | ||||
* | - Forgot commit the change about ["jvm" "try"] for lux/host.jvm.lux | Eduardo Julian | 2017-03-28 | 2 | -46/+28 |
| | |||||
* | - Expanded the lux/control/interval module. | Eduardo Julian | 2017-03-27 | 2 | -21/+181 |
| | | | - Implemented Enum<Real>. | ||||
* | - Moved lux/random to lux/math/random. | Eduardo Julian | 2017-03-24 | 4 | -3/+4 |
| | | | | - Moved lux/math/ratio to lux/number/ratio. - Moved lux/math/complex to lux/number/complex. | ||||
* | - Renamed "end" to "end!". | Eduardo Julian | 2017-03-24 | 3 | -9/+9 |
| | |||||
* | - Now, only calculating the indices once, and reusing them through a definition. | Eduardo Julian | 2017-03-24 | 1 | -1/+3 |
| | |||||
* | - Implemented custom JS host procedures. | Eduardo Julian | 2017-03-15 | 2 | -0/+83 |
| | |||||
* | - Added a new try-catch procedure. | Eduardo Julian | 2017-02-26 | 1 | -3/+2 |
| | |||||
* | - Implemented math procedures for JS. | Eduardo Julian | 2017-02-26 | 1 | -3/+0 |
| | | | - Degree<->radian conversions are no longer math procedures. | ||||
* | - Exiting the program and getting the current time (in milliseconds) is now ↵ | Eduardo Julian | 2017-02-25 | 1 | -7/+8 |
| | | | | done through procedures. | ||||
* | - Re-designed (and implemented) the primitives for running processes/threads ↵ | Eduardo Julian | 2017-02-23 | 1 | -43/+4 |
| | | | | as Lux procedures. | ||||
* | - Re-designed atomic operations as common procedures. | Eduardo Julian | 2017-02-23 | 3 | -19/+12 |
| | | | | - Implemented atomic operations for the JVM. - Basic Lux types no longer rely on JVM classes. | ||||
* | - Implemented a variety of new procedures for text, chars, math and arrays. | Eduardo Julian | 2017-02-22 | 5 | -115/+102 |
| | |||||
* | - Added support for the new common procedures to the JVM backend. | Eduardo Julian | 2017-02-17 | 2 | -18/+16 |
| | | | - Fixed some bugs. |