aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* - Eliminated the Anns and Ann-Value types, and now only using Code for ↵Eduardo Julian2017-10-111-987/+1086
| | | | definition annotations.
* - Changed the terminology of monoids ("append" -> "compose", "unit" -> ↵Eduardo Julian2017-09-191-110/+110
| | | | "identity").
* - Some refactoring.Eduardo Julian2017-09-191-6/+2
| | | - Moved "assume" and "default" to lux/data/maybe.
* - Added "when" function (great for piping).Eduardo Julian2017-09-191-2/+9
|
* - $_ and _$ macros now handle better "operator" code that is a form. e.g.Eduardo Julian2017-09-041-6/+12
| | | ($_ (::: +) 1 2 3) => (::: + 1 (::: + 2 3)) instead of ((::: +) 1 ((::: +) 2 3))
* - Re-named "real" numbers to "frac"(tions).Eduardo Julian2017-09-041-46/+46
|
* - Small fixes and refactorings.Eduardo Julian2017-08-221-1/+1
|
* - Re-implemented polytypic matchers in terms of lux/control/parser.Eduardo Julian2017-08-021-1/+1
|
* - Can now generate Eq instances for #rec-style recursive types.Eduardo Julian2017-07-151-2/+2
| | | - Minor refactorings.
* - Lux no longer has a Char primitive data-type.Eduardo Julian2017-07-021-122/+84
|
* - Added #compiler-name back to Compiler-Info.Eduardo Julian2017-06-231-10/+16
|
* - Renamed "App" to "Apply" and swapped the order of the arguments to it.Eduardo Julian2017-06-211-107/+117
| | | - Also did argument swapping for lux/type;application.
* - Changed the type of Def so that values have type Top, instead of Void.Eduardo Julian2017-06-191-6/+6
|
* - Fixed a bug when generating the aliases of modules involving relative ↵Eduardo Julian2017-06-191-3/+3
| | | | addressing ("." and "..").
* - Added Hash<Bool> and as-is macro..Eduardo Julian2017-06-141-3/+6
|
* - Renamed ^=> to ^multi.Eduardo Julian2017-05-241-4/+4
|
* - Defined the dummy-cursor (to be used anywhere needed).Eduardo Julian2017-05-151-4/+5
|
* - Small fixes and refactorings.Eduardo Julian2017-05-091-2/+2
|
* - Renamed "AST" to "Code".Eduardo Julian2017-05-071-201/+201
|
* - Changed the name of "let%" to "with-expansions".Eduardo Julian2017-05-071-24/+27
|
* - Removed "T" suffix from Type's tags.Eduardo Julian2017-05-071-373/+373
|
* - Fully implemented Deg encoding/decoding in pure Lux.Eduardo Julian2017-05-071-7/+4
| | | - No longer relying in LuxRT-supported implementations.
* - Removed the "Debug" compiler mode.Eduardo Julian2017-05-041-13/+9
|
* - Removed the "S" suffix from AST tags.Eduardo Julian2017-05-031-402/+402
|
* - Changes the types of a few compiler-state components.Eduardo Julian2017-05-031-9/+6
|
* - Changed the way Scope works, to make it independent from the notion of ↵Eduardo Julian2017-05-011-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.
* - Renamed fields of scopes.Eduardo Julian2017-04-301-13/+13
|
* - Updated the compiler's type-checking context to match it with lux/type/check.Eduardo Julian2017-04-301-16/+36
|
* - Small refactorings and fixes.Eduardo Julian2017-04-301-28/+35
| | | - Added <|. macro.
* - Simplified some of the documentation and error messages.Eduardo Julian2017-04-121-14/+14
|
* - Renamed "LambdaT" to "FunctionT".Eduardo Julian2017-04-101-69/+69
|
* - Renamed _lux_lambda to _lux_function.Eduardo Julian2017-04-101-72/+72
|
* - Renamed "lambda" to "function".Eduardo Julian2017-04-101-362/+362
|
* - Renamed lambda' and lambda'' to function' and function''.Eduardo Julian2017-04-101-613/+613
|
* - Fixed a bug in the way the Rec macro worked (it didn't update the indices ↵Eduardo Julian2017-04-081-1/+2
| | | | of its body type).
* - Renamed lux/data/text;replace to replace-all.Eduardo Julian2017-04-061-10/+10
| | | - Did some refactorings for lexers.
* - Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and ↵Eduardo Julian2017-04-051-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.
* - :: can now be used to refer to sub-structures within a structure.Eduardo Julian2017-04-041-35/+50
|
* - Implemented Int encoding/decoding in the standard library.Eduardo Julian2017-04-031-78/+85
| | | | | - Moved some type-constructors for building functor types into the lux/control/functor module. - Renamed Ord to Order. - Renamed Env to Reader.
* - Nat encoding/decoding is now implemented in the standard library.Eduardo Julian2017-03-301-4/+25
|
* - Forgot commit the change about ["jvm" "try"] for lux/host.jvm.luxEduardo Julian2017-03-281-21/+26
|
* - Re-designed atomic operations as common procedures.Eduardo Julian2017-02-231-5/+5
| | | | - Implemented atomic operations for the JVM. - Basic Lux types no longer rely on JVM classes.
* - Implemented a variety of new procedures for text, chars, math and arrays.Eduardo Julian2017-02-221-7/+11
|
* - Implemented several new procedures.Eduardo Julian2017-02-161-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.
* - Now doing common array analysis/compilation.Eduardo Julian2017-02-111-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.
* - Added support for compiling _lux_proc (some procedures).Eduardo Julian2017-02-051-151/+147
| | | | - Added support for compiling (some) procedures, captured-variables, iteration, if-expressions and get-expressions. - Fixed some bugs.
* - The data for checking which exceptions are being catched has been moved ↵Eduardo Julian2017-01-301-17/+22
| | | | from the host state to the normal compiler state.
* - More refactorings.Eduardo Julian2017-01-301-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.
* - Changed the license from MPL 2.0 to MIT.Eduardo Julian2017-01-261-5/+0
|
* - Moved the lux/data/struct/* modules to lux/data/coll/*.Eduardo Julian2017-01-251-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.
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-25 08:20:23 +0000