aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* - WIP: Wiring everything to get the compiler to work fully.Eduardo Julian2017-10-261-2/+2
| | | - Fixed a bug when combining field/method/class modifiers.
* - Changed the way some special forms work.Eduardo Julian2017-10-251-1957/+1957
|
* - Re-named "Host" to "Primitive".Eduardo Julian2017-10-201-28/+28
|
* - Implemented an more comfortable alternative to "with-expansions".Eduardo Julian2017-10-191-4/+61
|
* - Added "for" macro to specify platform-dependent code.Eduardo Julian2017-10-171-18/+57
| | | - Some refactoring/re-naming.
* - Re-named "Lux" type to "Meta".Eduardo Julian2017-10-161-222/+222
| | | - Moved lux/type/* under lux/meta/*.
* - Re-named "Meta" type to "Ann".Eduardo Julian2017-10-161-91/+91
|
* - Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors.Eduardo Julian2017-10-161-3/+3
|
* - Moved Array type to lux.lux.Eduardo Julian2017-10-161-0/+4
| | | | - Re-named some array functions. - Minor refactorings.
* - 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 07:07:39 +0000