aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (unfollow)
Commit message (Collapse)AuthorFilesLines
2017-05-03- Changes the types of a few compiler-state components.Eduardo Julian1-9/+6
2017-05-01- Changed the way Scope works, to make it independent from the notion of ↵Eduardo Julian1-14/+29
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 Julian1-13/+13
2017-04-30- Updated the compiler's type-checking context to match it with lux/type/check.Eduardo Julian1-16/+36
2017-04-30- Small refactorings and fixes.Eduardo Julian1-28/+35
- Added <|. macro.
2017-04-12- Simplified some of the documentation and error messages.Eduardo Julian1-14/+14
2017-04-10- Renamed "LambdaT" to "FunctionT".Eduardo Julian1-69/+69
2017-04-10- Renamed _lux_lambda to _lux_function.Eduardo Julian1-72/+72
2017-04-10- Renamed "lambda" to "function".Eduardo Julian1-362/+362
2017-04-10- Renamed lambda' and lambda'' to function' and function''.Eduardo Julian1-613/+613
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- Renamed lux/data/text;replace to replace-all.Eduardo Julian1-10/+10
- Did some refactorings for lexers.
2017-04-05- Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and ↵Eduardo Julian1-65/+1
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-04- :: can now be used to refer to sub-structures within a structure.Eduardo Julian1-35/+50
2017-04-03- Implemented Int encoding/decoding in the standard library.Eduardo Julian1-78/+85
- Moved some type-constructors for building functor types into the lux/control/functor module. - Renamed Ord to Order. - Renamed Env to Reader.
2017-03-30- Nat encoding/decoding is now implemented in the standard library.Eduardo Julian1-4/+25
2017-03-28- Forgot commit the change about ["jvm" "try"] for lux/host.jvm.luxEduardo Julian1-21/+26
2017-02-23- Re-designed atomic operations as common procedures.Eduardo Julian1-5/+5
- Implemented atomic operations for the JVM. - Basic Lux types no longer rely on JVM classes.
2017-02-22- Implemented a variety of new procedures for text, chars, math and arrays.Eduardo Julian1-7/+11
2017-02-16- Implemented several new procedures.Eduardo Julian1-74/+88
- Improved Lux-to-JS interactions. - Parallel compilation works for the JS backend. - Added more primitive functionality to the JS runtime. - More common procedures.
2017-02-11- Now doing common array analysis/compilation.Eduardo Julian1-9/+8
- Now doing common io/log! analysis/compilation. - Now doing common char/to-text analysis/compilation. - Expanded compilation of procedures in JS. - Expanded LuxRT in JS. - Fixed some bugs.
2017-02-05- Added support for compiling _lux_proc (some procedures).Eduardo Julian1-151/+147
- Added support for compiling (some) procedures, captured-variables, iteration, if-expressions and get-expressions. - Fixed some bugs.
2017-01-30- The data for checking which exceptions are being catched has been moved ↵Eduardo Julian1-17/+22
from the host state to the normal compiler state.
2017-01-30- More refactorings.Eduardo Julian1-22/+41
- Changed the place where module-compilation-state was being stored. - No longer keeping the compiler's name as part of the compiler's state.
2017-01-26- Changed the license from MPL 2.0 to MIT.Eduardo Julian1-5/+0
2017-01-25- Moved the lux/data/struct/* modules to lux/data/coll/*.Eduardo Julian1-7/+7
- Did the same for the lux/codata/struct/* modules. - Moved lux/codata/io to lux/io. - Moved lux/control/effect to lux/effect. - Renamed "sample" functions to "this" functions. - Renamed "at" functions to "nth" functions.
2017-01-25- Renamed lux/data/struct/tree to lux/data/struct/tree/rose.Eduardo Julian1-206/+206
- Moved lux/data/struct/zipper to lux/data/struct/tree/zipper. - Moved lux/regex to lux/lexer/regex. - Changed the suffix of annotation tags, from M to A. - Renamed Frac(tional) numbers to Deg(rees).
2017-01-17- Added some type combinators for type constructors.Eduardo Julian1-0/+9
2017-01-06- Fixed a lot of errors in the documentation.Eduardo Julian1-2/+3
2017-01-04- Moved the template: macro to the lux module.Eduardo Julian1-0/+114
2017-01-02- Updated documentation for lux/cli, lux/compiler, lux/codata/*.Eduardo Julian1-2/+2
2017-01-02- Simple refactorings.Eduardo Julian1-82/+178
- Updated documentation of lux module.
2017-01-01- Can make definitions that have meta-data but no type.Eduardo Julian1-23/+29
- Added a temporary "fix" to be able to access derived structs from the ::: macro, while a better solution is found.
2016-12-17- Added the type-of macro.Eduardo Julian1-14/+24
2016-12-15- Updated tests for lux/type.Eduardo Julian1-5/+5
- Added tests for lux/type/check and lux/type/auto.
2016-12-12- No longer using record syntax in certain macros.Eduardo Julian1-1/+1
2016-12-12- Renamed "==" function to "is".Eduardo Julian1-3/+3
2016-12-12- Small fixes, refactorings and expansions.Eduardo Julian1-1/+1
2016-12-04- Minor refactorings and expansions.Eduardo Julian1-6/+4
2016-12-02- Changed the names of math op functions to make them more consistent and ↵Eduardo Julian1-188/+136
similar.
2016-12-01- Collected the Lux compiler's repo, the Standard Library's, the Leiningen ↵Eduardo Julian1-0/+5541
plugin's and the Emacs mode's into a big monorepo, to keep development unified.