Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Added models as a mechanism to encode nominal types. | Eduardo Julian | 2017-07-24 | 1 | -0/+188 |
| | |||||
* | - Relocated the "object" and "concatenative" modules. | Eduardo Julian | 2017-07-23 | 4 | -11/+12 |
| | |||||
* | - Codec now works on negative times (with respect to the epoch). | Eduardo Julian | 2017-07-23 | 2 | -35/+19 |
| | | | - There are still some corner cases where decoding fails. MUST FIX. | ||||
* | - Improved reporting on tests. | Eduardo Julian | 2017-07-23 | 1 | -6/+5 |
| | |||||
* | - Added module for time (Codec has currently been tested only for time after ↵ | Eduardo Julian | 2017-07-23 | 3 | -0/+382 |
| | | | | epoch). | ||||
* | - Merged the submodules of lux/paradigm/object into their parent module. | Eduardo Julian | 2017-07-22 | 5 | -396/+334 |
| | |||||
* | - Removed the "M" suffix from monadic functions. | Eduardo Julian | 2017-07-22 | 100 | -467/+454 |
| | |||||
* | - Eliminated lux/math/simple. If you want simple math, use lux/type/auto ↵ | Eduardo Julian | 2017-07-22 | 3 | -408/+1 |
| | | | | with the relevant signatures. | ||||
* | - Removed Char support in lux-mode. | Eduardo Julian | 2017-07-22 | 1 | -4/+1 |
| | | | - Removed keyword support for algebraic effects. | ||||
* | - Removed algebraic effects module. If you want effects, just go with ↵ | Eduardo Julian | 2017-07-22 | 3 | -418/+1 |
| | | | | finally-tagless approach. | ||||
* | - Changed inheritance syntax for interfaces and classes to make it more ↵ | Eduardo Julian | 2017-07-22 | 2 | -6/+6 |
| | | | | homogeneous. | ||||
* | - Renamed Chan to Channel. | Eduardo Julian | 2017-07-22 | 4 | -63/+63 |
| | |||||
* | - Some utility functions. | Eduardo Julian | 2017-07-22 | 2 | -1/+14 |
| | |||||
* | - Small refactorings and bug fixes. | Eduardo Julian | 2017-07-22 | 7 | -88/+92 |
| | |||||
* | - Polytypic JSON codec can now handle #rec-style recursive types. | Eduardo Julian | 2017-07-16 | 4 | -65/+150 |
| | |||||
* | - Can now generate Eq instances for #rec-style recursive types. | Eduardo Julian | 2017-07-15 | 36 | -122/+182 |
| | | | - Minor refactorings. | ||||
* | - Error messages on the JVM now include the stack-trace. | Eduardo Julian | 2017-07-03 | 1 | -5/+27 |
| | |||||
* | - Tested the compilation for "nat" procedures. | Eduardo Julian | 2017-07-03 | 8 | -201/+436 |
| | | | | - Expanded the runtime. - Some bug-fixes and refactorings. | ||||
* | - Renamed "#Relative" to "#Variable" and "#Absolute" to "#Definition". | Eduardo Julian | 2017-07-02 | 8 | -19/+19 |
| | |||||
* | - Real syntax now supports exponential. | Eduardo Julian | 2017-07-02 | 2 | -3/+6 |
| | |||||
* | - Adjusted compiler to the new lack of Char type. | Eduardo Julian | 2017-07-02 | 29 | -151/+564 |
| | | | - WIP: PM/case synthesis. | ||||
* | - Lux no longer has a Char primitive data-type. | Eduardo Julian | 2017-07-02 | 55 | -792/+274 |
| | |||||
* | - Lexers now carry an offset which they use to figure out where to extract ↵ | Eduardo Julian | 2017-07-01 | 5 | -162/+150 |
| | | | | | parts of the whole input, instead of having to clip the input as they lex. thereby doing a lot of unnecessary text allocations. - Some refactoring. | ||||
* | - Text no longer has a codec (because the decoding didn't handle unicode ↵ | Eduardo Julian | 2017-07-01 | 7 | -67/+35 |
| | | | | escaping). | ||||
* | - The bodies of actor messages are run within the Task monad. | Eduardo Julian | 2017-07-01 | 1 | -1/+3 |
| | |||||
* | - Remove the suffixes of "lift" functions for monad transformers. | Eduardo Julian | 2017-07-01 | 15 | -226/+225 |
| | |||||
* | - WIP: Added generation for common procedures. | Eduardo Julian | 2017-06-30 | 13 | -47/+1120 |
| | |||||
* | - Adapted compiler to the latest stdlib changes. | Eduardo Julian | 2017-06-27 | 21 | -913/+909 |
| | |||||
* | - Added module for concatenative (stack-based) programming. | Eduardo Julian | 2017-06-26 | 1 | -0/+333 |
| | |||||
* | - Some refactoring. | Eduardo Julian | 2017-06-26 | 2 | -25/+25 |
| | |||||
* | - Changed the syntax-highlighting rules. | Eduardo Julian | 2017-06-26 | 1 | -2/+8 |
| | |||||
* | - Forgot to commit some of the sub-modules for lux/paradigm/object. | Eduardo Julian | 2017-06-26 | 4 | -0/+351 |
| | |||||
* | - Miscellaneous refactoring. | Eduardo Julian | 2017-06-26 | 8 | -28/+37 |
| | |||||
* | - Messages are now defined outside of the actor definition. | Eduardo Julian | 2017-06-26 | 2 | -145/+232 |
| | |||||
* | - Implemented single-inheritance. | Eduardo Julian | 2017-06-26 | 3 | -208/+291 |
| | | | - Fixed some bugs. | ||||
* | - Forgot to update the tests for ordered collections. | Eduardo Julian | 2017-06-24 | 1 | -4/+4 |
| | |||||
* | - Re-designed actors so that their messages are now functions with access to ↵ | Eduardo Julian | 2017-06-24 | 8 | -322/+311 |
| | | | | | | the actor's state, and to the actor itself. - When creating channels and promises, the type is now mandatory. - Minor refactorings. | ||||
* | - Renamed lux/control/contract's "@pre" and "@post" to "pre" and "post". | Eduardo Julian | 2017-06-23 | 1 | -6/+6 |
| | |||||
* | - Added #compiler-name back to Compiler-Info. | Eduardo Julian | 2017-06-23 | 4 | -17/+26 |
| | |||||
* | - Added Fold structure for rose trees. | Eduardo Julian | 2017-06-23 | 2 | -22/+41 |
| | |||||
* | - Renamed lux/data/coll/ordered to lux/data/coll/ordered/set. | Eduardo Julian | 2017-06-23 | 4 | -170/+436 |
| | | | - Created ordered dictionary implementation, and based the set implementation upon it. | ||||
* | - Forgot to commit the change in lux-mode when renaming "test:" to "context:". | Eduardo Julian | 2017-06-21 | 1 | -1/+1 |
| | |||||
* | - Renamed "App" to "Apply" and swapped the order of the arguments to it. | Eduardo Julian | 2017-06-21 | 18 | -300/+284 |
| | | | - Also did argument swapping for lux/type;application. | ||||
* | - CLI, Syntax and Lexer are now based upon a common Parser type. | Eduardo Julian | 2017-06-21 | 33 | -1627/+1252 |
| | |||||
* | - Added Task type, as a promise that can fail. | Eduardo Julian | 2017-06-21 | 1 | -0/+51 |
| | |||||
* | - More detailed testing resporting. | Eduardo Julian | 2017-06-19 | 1 | -72/+61 |
| | |||||
* | - In lux/test, renamed "test:" to "context:", and "assert" to "test". | Eduardo Julian | 2017-06-19 | 63 | -2896/+2896 |
| | |||||
* | - Changed the type of Def so that values have type Top, instead of Void. | Eduardo Julian | 2017-06-19 | 1 | -6/+6 |
| | |||||
* | - JSON polytypic generator checks for (Dict Text ?) instead of (List [Text ?]). | Eduardo Julian | 2017-06-19 | 6 | -446/+382 |
| | | | - Lexers now rely only on Text, instead of also relying on Char. | ||||
* | - Codecs no longer take into account underscore "_" separators for digits.. | Eduardo Julian | 2017-06-19 | 1 | -5/+0 |
| |