aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (unfollow)
Commit message (Collapse)AuthorFilesLines
2017-10-31- Now, all special forms are handled as procedures.Eduardo Julian1-1143/+1143
- "lux case" now takes its branches as a non-empty record.
2017-10-30- Added "^code" pattern-matching macro for easier handling of code.Eduardo Julian1-0/+76
2017-10-30- Added "lux check type" to old compiler.Eduardo Julian1-9/+9
2017-10-26- Added a new piece of compiler state, just for storing the current-module.Eduardo Julian1-36/+40
2017-10-26- "primitive" macro can now handle primitives as text.Eduardo Julian1-0/+6
2017-10-26- WIP: Wiring everything to get the compiler to work fully.Eduardo Julian1-2/+2
- Fixed a bug when combining field/method/class modifiers.
2017-10-25- Changed the way some special forms work.Eduardo Julian1-1957/+1957
2017-10-20- Re-named "Host" to "Primitive".Eduardo Julian1-28/+28
2017-10-19- Implemented an more comfortable alternative to "with-expansions".Eduardo Julian1-4/+61
2017-10-17- Added "for" macro to specify platform-dependent code.Eduardo Julian1-18/+57
- Some refactoring/re-naming.
2017-10-16- Re-named "Lux" type to "Meta".Eduardo Julian1-222/+222
- Moved lux/type/* under lux/meta/*.
2017-10-16- Re-named "Meta" type to "Ann".Eduardo Julian1-91/+91
2017-10-16- Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors.Eduardo Julian1-3/+3
2017-10-16- Moved Array type to lux.lux.Eduardo Julian1-0/+4
- Re-named some array functions. - Minor refactorings.
2017-10-11- Eliminated the Anns and Ann-Value types, and now only using Code for ↵Eduardo Julian1-987/+1086
definition annotations.
2017-09-19- Changed the terminology of monoids ("append" -> "compose", "unit" -> ↵Eduardo Julian1-110/+110
"identity").
2017-09-19- Some refactoring.Eduardo Julian1-6/+2
- Moved "assume" and "default" to lux/data/maybe.
2017-09-19- Added "when" function (great for piping).Eduardo Julian1-2/+9
2017-09-04- $_ and _$ macros now handle better "operator" code that is a form. e.g.Eduardo Julian1-6/+12
($_ (::: +) 1 2 3) => (::: + 1 (::: + 2 3)) instead of ((::: +) 1 ((::: +) 2 3))
2017-09-04- Re-named "real" numbers to "frac"(tions).Eduardo Julian1-46/+46
2017-08-22- Small fixes and refactorings.Eduardo Julian1-1/+1
2017-08-02- Re-implemented polytypic matchers in terms of lux/control/parser.Eduardo Julian1-1/+1
2017-07-15- Can now generate Eq instances for #rec-style recursive types.Eduardo Julian1-2/+2
- Minor refactorings.
2017-07-02- Lux no longer has a Char primitive data-type.Eduardo Julian1-122/+84
2017-06-23- Added #compiler-name back to Compiler-Info.Eduardo Julian1-10/+16
2017-06-21- Renamed "App" to "Apply" and swapped the order of the arguments to it.Eduardo Julian1-107/+117
- Also did argument swapping for lux/type;application.
2017-06-19- Changed the type of Def so that values have type Top, instead of Void.Eduardo Julian1-6/+6
2017-06-19- Fixed a bug when generating the aliases of modules involving relative ↵Eduardo Julian1-3/+3
addressing ("." and "..").
2017-06-14- Added Hash<Bool> and as-is macro..Eduardo Julian1-3/+6
2017-05-24- Renamed ^=> to ^multi.Eduardo Julian1-4/+4
2017-05-15- Defined the dummy-cursor (to be used anywhere needed).Eduardo Julian1-4/+5
2017-05-09- Small fixes and refactorings.Eduardo Julian1-2/+2
2017-05-07- Renamed "AST" to "Code".Eduardo Julian1-201/+201
2017-05-07- Changed the name of "let%" to "with-expansions".Eduardo Julian1-24/+27
2017-05-07- Removed "T" suffix from Type's tags.Eduardo Julian1-373/+373
2017-05-07- Fully implemented Deg encoding/decoding in pure Lux.Eduardo Julian1-7/+4
- No longer relying in LuxRT-supported implementations.
2017-05-04- Removed the "Debug" compiler mode.Eduardo Julian1-13/+9
2017-05-03- Removed the "S" suffix from AST tags.Eduardo Julian1-402/+402
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.
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 00:51:35 +0000