aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (unfollow)
Commit message (Collapse)AuthorFilesLines
2017-05-01- Changed the way Scope works, to make it independent from the notion of ↵Eduardo Julian2-26/+40
Analysis, and make it easier to port to the new re-written compiler. - Fixed a type-bug when asserting whether a def is being re-defined.
2017-04-30- Renamed fields of scopes.Eduardo Julian2-15/+15
2017-04-30- Updated the compiler's type-checking context to match it with lux/type/check.Eduardo Julian5-172/+227
2017-04-30- Small refactorings and fixes.Eduardo Julian8-65/+98
- Added <|. macro.
2017-04-15- Small refactorings.Eduardo Julian2-2/+3
2017-04-14- Added a new way to sequentially combine text lexers.Eduardo Julian1-0/+7
2017-04-14- Fixed the way "program:" CLI params are specified.Eduardo Julian1-8/+21
- Added before/after combinators to lux/cli.
2017-04-12- Simplified some of the documentation and error messages.Eduardo Julian26-69/+69
2017-04-12- The XML header is now parsed optionally.Eduardo Julian1-1/+1
2017-04-11- Fused the lux/compiler and lux/macro modules.Eduardo Julian36-838/+838
2017-04-10- Move the modules under lux/function/* to be under lux/control/*.Eduardo Julian5-3/+3
2017-04-10- Move the structures for the Free monad into lux/control/monad.Eduardo Julian2-59/+59
2017-04-10- Renamed "LambdaT" to "FunctionT".Eduardo Julian6-83/+83
2017-04-10- Renamed _lux_lambda to _lux_function.Eduardo Julian2-73/+73
2017-04-10- Renamed "lambda" to "function".Eduardo Julian50-794/+796
2017-04-10- Renamed lambda' and lambda'' to function' and function''.Eduardo Julian1-613/+613
2017-04-09- Some refactoring about continuations.Eduardo Julian1-1/+1
2017-04-09- Added delimited continuations, with static shifting.Eduardo Julian1-10/+24
2017-04-08- Improved the implementation of continuations.Eduardo Julian2-60/+66
2017-04-08- Improved the way the message is shown when the tests are done running.Eduardo Julian1-3/+3
2017-04-08- Fixed a bug in the way the Rec macro worked (it didn't update the indices ↵Eduardo Julian1-1/+2
of its body type).
2017-04-06- Added XML support.Eduardo Julian1-0/+264
2017-04-06- Renamed lux/data/text;replace to replace-all.Eduardo Julian5-72/+83
- Did some refactorings for lexers.
2017-04-06- Made some changes to (rose) trees and zippers.Eduardo Julian2-28/+65
2017-04-06- Added binary, octal and hexadecimal codecs for reals.Eduardo Julian1-15/+258
- Added octal codec for degs.
2017-04-05- Added binary and hexadecimal syntax for degs.Eduardo Julian1-3/+39
2017-04-05- Added binary, octal and hexadecimal codecs for ints.Eduardo Julian1-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.
2017-04-05- Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and ↵Eduardo Julian8-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.
2017-04-05- Implemented a few comonads.Eduardo Julian3-0/+99
2017-04-04- :: can now be used to refer to sub-structures within a structure.Eduardo Julian5-43/+57
2017-04-03- Priority-queues and sequences can now be empty.Eduardo Julian2-153/+242
2017-04-03- Persistent queues and sequences can now be empty.Eduardo Julian2-153/+242
2017-04-03- Renamed lux/codata/* to lux/function/* and moved the ↵Eduardo Julian15-16/+10
lux/codata/coll/stream to lux/data/coll/stream.
2017-04-03- Implemented Int encoding/decoding in the standard library.Eduardo Julian16-188/+239
- Moved some type-constructors for building functor types into the lux/control/functor module. - Renamed Ord to Order. - Renamed Env to Reader.
2017-04-01- Some refactorings, new types & functions, and moved the lux/effect module ↵Eduardo Julian7-57/+90
to lux/control/effect.
2017-04-01- Added a macro for pattern-matching using regular-expressions.Eduardo Julian1-2/+25
2017-03-30- Nat encoding/decoding is now implemented in the standard library.Eduardo Julian2-5/+79
2017-03-30- Implemented ordered sets by means of red-black trees.Eduardo Julian1-0/+493
2017-03-28- Implemented finger-trees.Eduardo Julian5-4/+352
- Implemented random-access sequences and priority-queues on top of finger-trees.
2017-03-28- Forgot commit the change about ["jvm" "try"] for lux/host.jvm.luxEduardo Julian2-46/+28
2017-03-27- Expanded the lux/control/interval module.Eduardo Julian2-21/+181
- Implemented Enum<Real>.
2017-03-24- Moved lux/random to lux/math/random.Eduardo Julian4-3/+4
- Moved lux/math/ratio to lux/number/ratio. - Moved lux/math/complex to lux/number/complex.
2017-03-24- Renamed "end" to "end!".Eduardo Julian3-9/+9
2017-03-24- Now, only calculating the indices once, and reusing them through a definition.Eduardo Julian1-1/+3
2017-03-15- Implemented custom JS host procedures.Eduardo Julian2-0/+83
2017-02-26- Added a new try-catch procedure.Eduardo Julian1-3/+2
2017-02-26- Implemented math procedures for JS.Eduardo Julian1-3/+0
- Degree<->radian conversions are no longer math procedures.
2017-02-25- Exiting the program and getting the current time (in milliseconds) is now ↵Eduardo Julian1-7/+8
done through procedures.
2017-02-23- Re-designed (and implemented) the primitives for running processes/threads ↵Eduardo Julian1-43/+4
as Lux procedures.
2017-02-23- Re-designed atomic operations as common procedures.Eduardo Julian3-19/+12
- Implemented atomic operations for the JVM. - Basic Lux types no longer rely on JVM classes.