aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* - Added type annotations to eliminate reflection.Eduardo Julian2016-12-274-11/+11
|
* - Finished compiler's support for Frac numbers.Eduardo Julian2016-12-264-56/+122
|
* - Now trimming unnecessary 0s when encoding Frac numbers, and missing zeroes ↵Eduardo Julian2016-12-261-1/+14
| | | | won't be taken into account when decoding them.
* - Improved the way error messages are shown when compilation fails.Eduardo Julian2016-12-251-11/+14
|
* - Now, only using underscores (_) as number digit separators, without using ↵Eduardo Julian2016-12-254-11/+10
| | | | commas (,).
* - The compiler now shows error messages better when compilation fails.Eduardo Julian2016-12-251-1/+2
|
* - Fixed a bug where the Frac max value was getting confused with the min value.Eduardo Julian2016-12-252-16/+21
| | | - Updated the lux/data/number tests.
* - Fixed Frac decoding.Eduardo Julian2016-12-251-5/+22
|
* - Re-implemented Frac decoding (currently buggy).Eduardo Julian2016-12-251-144/+242
|
* - Fixed Frac encoding.Eduardo Julian2016-12-241-62/+216
|
* - Fixed a bug in the way hierarchy->base demotion worked for Dict nodes.Eduardo Julian2016-12-223-22/+24
| | | - Fixed a bug in a test for lux/data/struct/list.
* - Updated tests for lux/cli and lux/math/ratio.Eduardo Julian2016-12-223-5/+6
|
* - Fixed a bug when parsing JSON numbers.Eduardo Julian2016-12-221-9/+16
|
* - Won't be testing call/cc for now.Eduardo Julian2016-12-222-7/+10
|
* - Fixed a bug when decoding nat numbers in the compiler.Eduardo Julian2016-12-211-2/+2
|
* - 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.