Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Can specify how many times a property-based/generative test is supposed to ↵ | Eduardo Julian | 2016-12-21 | 1 | -15/+25 |
| | | | | run. | ||||
* | - Updated tests for lux/data/struct/zipper and lux/math/complex. | Eduardo Julian | 2016-12-20 | 2 | -8/+8 |
| | |||||
* | - Updated tests and fixed code for lux/math/complex, lux/math/ratio. | Eduardo Julian | 2016-12-20 | 3 | -32/+54 |
| | |||||
* | - lux/test can now handle thrown exceptions better. | Eduardo Julian | 2016-12-20 | 2 | -21/+35 |
| | | | - lux/test supports specifying seeds to run tests on. | ||||
* | - Updated tests and fixed code for lux/codata/struct/stream, ↵ | Eduardo Julian | 2016-12-20 | 7 | -67/+80 |
| | | | | | lux/concurrency/actor, lux/data/text, lux/math, lux/math/simple and lux/type. - Frac numbers won't be tested, as they will be considered (for now) an incomplete feature. | ||||
* | - Fixed a bug in Frac encoding, where the prefix dot was not being added for ↵ | Eduardo Julian | 2016-12-20 | 1 | -5/+7 |
| | | | | non-zero numbers. | ||||
* | - Improved tests (and added fixes) for lux/data/struct/vector, lux/type and ↵ | Eduardo Julian | 2016-12-20 | 4 | -22/+42 |
| | | | | lux/data/ident. | ||||
* | - Improved tests for lux/data/char, lux/host, lux/type/check. | Eduardo Julian | 2016-12-19 | 4 | -44/+71 |
| | |||||
* | - Fixed a bug when updating the value of a STM var. | Eduardo Julian | 2016-12-19 | 2 | -61/+40 |
| | | | - Refactored the tests for lux/concurrency/stm. | ||||
* | - Refactored the tests for lux/regex to avoid a truncated-class error when ↵ | Eduardo Julian | 2016-12-19 | 1 | -5/+11 |
| | | | | compiling for the JVM. | ||||
* | - Improved the way tests are run. | Eduardo Julian | 2016-12-19 | 3 | -35/+52 |
| | | | - Refactored lux/regex tests a bit. | ||||
* | - Better error messages when analysing classes, interfaces and anonymous ↵ | Eduardo Julian | 2016-12-18 | 1 | -9/+12 |
| | | | | classes. | ||||
* | - Added tests for the monad transformers for Error, Maybe, State, List and Env. | Eduardo Julian | 2016-12-18 | 10 | -9/+81 |
| | |||||
* | - Fixed a bug when adjusting types during pattern-matching analysis. | Eduardo Julian | 2016-12-18 | 2 | -31/+45 |
| | | | - Better type-to-text translation for quantified types. | ||||
* | - Better formatting for types and lists. | Eduardo Julian | 2016-12-18 | 2 | -8/+13 |
| | |||||
* | - Tested monad transformer for Error. | Eduardo Julian | 2016-12-18 | 2 | -2/+14 |
| | |||||
* | - Fixed a bug in the way effect-handling worked. | Eduardo Julian | 2016-12-18 | 3 | -26/+110 |
| | | | - Added tests for lux/control/effect. | ||||
* | - Bug fixes and refactorings for algebraic effects. | Eduardo Julian | 2016-12-18 | 3 | -45/+81 |
| | |||||
* | - Fixed a bug in a test that was (sometimes) causing division-by-zero. | Eduardo Julian | 2016-12-18 | 1 | -1/+1 |
| | |||||
* | - Added tests for lux/macro/poly/* | Eduardo Julian | 2016-12-17 | 10 | -119/+376 |
| | |||||
* | - Added the type-of macro. | Eduardo Julian | 2016-12-17 | 1 | -14/+24 |
| | |||||
* | - Some small refactorings. | Eduardo Julian | 2016-12-17 | 2 | -54/+103 |
| | |||||
* | - Added tests for lux/codata/cont. | Eduardo Julian | 2016-12-15 | 2 | -5/+51 |
| | |||||
* | - Updated tests for lux/type. | Eduardo Julian | 2016-12-15 | 10 | -81/+427 |
| | | | - Added tests for lux/type/check and lux/type/auto. | ||||
* | - Updated tests for lux/macro/ast and lux/macro/syntax. | Eduardo Julian | 2016-12-14 | 5 | -200/+318 |
| | | | - Added tests for lux/macro/template. | ||||
* | - Updated lux/pipe, lux/lexer and lux/regex tests. | Eduardo Julian | 2016-12-14 | 9 | -389/+599 |
| | |||||
* | - No longer using record syntax in certain macros. | Eduardo Julian | 2016-12-12 | 27 | -120/+120 |
| | |||||
* | - Renamed "==" function to "is". | Eduardo Julian | 2016-12-12 | 11 | -43/+42 |
| | |||||
* | - Small fixes, refactorings and expansions. | Eduardo Julian | 2016-12-12 | 13 | -111/+236 |
| | |||||
* | - Added tests for lux/math/ratio and lux/math/simple. | Eduardo Julian | 2016-12-12 | 19 | -147/+349 |
| | | | | - Some minor refactorings. - Ratios now work with nats instead of ints. | ||||
* | - Updates lux/math tests. | Eduardo Julian | 2016-12-11 | 6 | -131/+408 |
| | | | - Added lux/math/complex tests. | ||||
* | - Updated & expanded lux/concurrency/* tests. | Eduardo Julian | 2016-12-08 | 7 | -187/+383 |
| | |||||
* | - Removed some comments that slipped in with the code. | Eduardo Julian | 2016-12-07 | 1 | -14/+0 |
| | |||||
* | - Updated lux/host tests. | Eduardo Julian | 2016-12-06 | 6 | -63/+158 |
| | | | | | - Fixed a bug in the way the [jvm l2b] and [jvm l2s] procedures worked. - Fixed a bug in interface definition. - Relaxed the syntacting requirements of class/interface/anonymous-class definition macros. | ||||
* | - Updated tests in the lux/codata branch. | Eduardo Julian | 2016-12-05 | 7 | -115/+170 |
| | |||||
* | - Fixed a bug wherein aliased definitions where getting assigned non-type ↵ | Eduardo Julian | 2016-12-04 | 2 | -6/+8 |
| | | | | values, instead of types in the compiler state. | ||||
* | - Removed "monitorenter" and "monitorexit" procedures. | Eduardo Julian | 2016-12-04 | 2 | -35/+0 |
| | |||||
* | - No longer adding the LUX_JAR attribute to compiled JARs. | Eduardo Julian | 2016-12-04 | 1 | -1/+0 |
| | |||||
* | - Minor refactorings and expansions. | Eduardo Julian | 2016-12-04 | 14 | -141/+184 |
| | |||||
* | - Added Number implementation for Frac. | Eduardo Julian | 2016-12-02 | 1 | -0/+13 |
| | |||||
* | - Implemented macros for using math functions in an easier (unprefixed) way. | Eduardo Julian | 2016-12-02 | 2 | -48/+378 |
| | |||||
* | - gcd and lcm functions now work on Nat, instead of Int. | Eduardo Julian | 2016-12-02 | 2 | -13/+10 |
| | |||||
* | - Fixed a bug that was causing compilation & testing to be done more than ↵ | Eduardo Julian | 2016-12-02 | 5 | -15/+26 |
| | | | | | necessary. - Changed the "watch" meta-command to "auto". | ||||
* | - Changed the names of math op functions to make them more consistent and ↵ | Eduardo Julian | 2016-12-02 | 69 | -990/+938 |
| | | | | similar. | ||||
* | - Updated lux/cli tests. | Eduardo Julian | 2016-12-02 | 3 | -90/+103 |
| | |||||
* | - Bug fixes, refactorings and minor expansions. | Eduardo Julian | 2016-12-01 | 12 | -434/+308 |
| | | | | - Added tests for lux/data/error/exception. - Update tests for lux/data/format/json. | ||||
* | - lux-lein can now watch source-code directories to automatically build and ↵ | Eduardo Julian | 2016-12-01 | 3 | -9/+56 |
| | | | | test when changes occur. | ||||
* | - Logging test errors with one less newline afterwards. | Eduardo Julian | 2016-12-01 | 1 | -1/+1 |
| | |||||
* | - Improved the implementation of vector equality. | Eduardo Julian | 2016-12-01 | 1 | -1/+17 |
| | |||||
* | - Slightly changed the lux-lein commands. | Eduardo Julian | 2016-12-01 | 6 | -26/+24 |
| |