aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* - Correct failure signal (1) when tests fail.Eduardo Julian2016-12-211-18/+39
| | | - Now showing how many tests failed or succeeded.
* - Can specify how many times a property-based/generative test is supposed to ↵Eduardo Julian2016-12-211-15/+25
| | | | run.
* - Updated tests for lux/data/struct/zipper and lux/math/complex.Eduardo Julian2016-12-202-8/+8
|
* - Updated tests and fixed code for lux/math/complex, lux/math/ratio.Eduardo Julian2016-12-203-32/+54
|
* - lux/test can now handle thrown exceptions better.Eduardo Julian2016-12-202-21/+35
| | | - lux/test supports specifying seeds to run tests on.
* - Updated tests and fixed code for lux/codata/struct/stream, ↵Eduardo Julian2016-12-207-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 Julian2016-12-201-5/+7
| | | | non-zero numbers.
* - Improved tests (and added fixes) for lux/data/struct/vector, lux/type and ↵Eduardo Julian2016-12-204-22/+42
| | | | lux/data/ident.
* - Improved tests for lux/data/char, lux/host, lux/type/check.Eduardo Julian2016-12-194-44/+71
|
* - Fixed a bug when updating the value of a STM var.Eduardo Julian2016-12-192-61/+40
| | | - Refactored the tests for lux/concurrency/stm.
* - Refactored the tests for lux/regex to avoid a truncated-class error when ↵Eduardo Julian2016-12-191-5/+11
| | | | compiling for the JVM.
* - Improved the way tests are run.Eduardo Julian2016-12-193-35/+52
| | | - Refactored lux/regex tests a bit.
* - Better error messages when analysing classes, interfaces and anonymous ↵Eduardo Julian2016-12-181-9/+12
| | | | classes.
* - Added tests for the monad transformers for Error, Maybe, State, List and Env.Eduardo Julian2016-12-1810-9/+81
|
* - Fixed a bug when adjusting types during pattern-matching analysis.Eduardo Julian2016-12-182-31/+45
| | | - Better type-to-text translation for quantified types.
* - Better formatting for types and lists.Eduardo Julian2016-12-182-8/+13
|
* - Tested monad transformer for Error.Eduardo Julian2016-12-182-2/+14
|
* - Fixed a bug in the way effect-handling worked.Eduardo Julian2016-12-183-26/+110
| | | - Added tests for lux/control/effect.
* - Bug fixes and refactorings for algebraic effects.Eduardo Julian2016-12-183-45/+81
|
* - Fixed a bug in a test that was (sometimes) causing division-by-zero.Eduardo Julian2016-12-181-1/+1
|
* - Added tests for lux/macro/poly/*Eduardo Julian2016-12-1710-119/+376
|
* - Added the type-of macro.Eduardo Julian2016-12-171-14/+24
|
* - Some small refactorings.Eduardo Julian2016-12-172-54/+103
|
* - Added tests for lux/codata/cont.Eduardo Julian2016-12-152-5/+51
|
* - Updated tests for lux/type.Eduardo Julian2016-12-1510-81/+427
| | | - Added tests for lux/type/check and lux/type/auto.
* - Updated tests for lux/macro/ast and lux/macro/syntax.Eduardo Julian2016-12-145-200/+318
| | | - Added tests for lux/macro/template.
* - Updated lux/pipe, lux/lexer and lux/regex tests.Eduardo Julian2016-12-149-389/+599
|
* - No longer using record syntax in certain macros.Eduardo Julian2016-12-1227-120/+120
|
* - Renamed "==" function to "is".Eduardo Julian2016-12-1211-43/+42
|
* - Small fixes, refactorings and expansions.Eduardo Julian2016-12-1213-111/+236
|
* - Added tests for lux/math/ratio and lux/math/simple.Eduardo Julian2016-12-1219-147/+349
| | | | - Some minor refactorings. - Ratios now work with nats instead of ints.
* - Updates lux/math tests.Eduardo Julian2016-12-116-131/+408
| | | - Added lux/math/complex tests.
* - Updated & expanded lux/concurrency/* tests.Eduardo Julian2016-12-087-187/+383
|
* - Removed some comments that slipped in with the code.Eduardo Julian2016-12-071-14/+0
|
* - Updated lux/host tests.Eduardo Julian2016-12-066-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 Julian2016-12-057-115/+170
|
* - Fixed a bug wherein aliased definitions where getting assigned non-type ↵Eduardo Julian2016-12-042-6/+8
| | | | values, instead of types in the compiler state.
* - Removed "monitorenter" and "monitorexit" procedures.Eduardo Julian2016-12-042-35/+0
|
* - No longer adding the LUX_JAR attribute to compiled JARs.Eduardo Julian2016-12-041-1/+0
|
* - Minor refactorings and expansions.Eduardo Julian2016-12-0414-141/+184
|
* - Added Number implementation for Frac.Eduardo Julian2016-12-021-0/+13
|
* - Implemented macros for using math functions in an easier (unprefixed) way.Eduardo Julian2016-12-022-48/+378
|
* - gcd and lcm functions now work on Nat, instead of Int.Eduardo Julian2016-12-022-13/+10
|
* - Fixed a bug that was causing compilation & testing to be done more than ↵Eduardo Julian2016-12-025-15/+26
| | | | | necessary. - Changed the "watch" meta-command to "auto".
* - Changed the names of math op functions to make them more consistent and ↵Eduardo Julian2016-12-0269-990/+938
| | | | similar.
* - Updated lux/cli tests.Eduardo Julian2016-12-023-90/+103
|
* - Bug fixes, refactorings and minor expansions.Eduardo Julian2016-12-0112-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 Julian2016-12-013-9/+56
| | | | test when changes occur.
* - Logging test errors with one less newline afterwards.Eduardo Julian2016-12-011-1/+1
|
* - Improved the implementation of vector equality.Eduardo Julian2016-12-011-1/+17
|