aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Modified the syntax for module definitions.Eduardo Julian2017-11-141-1/+1
| | | - Fixed some bugs.
* - Made "lux text clip" work like it used to.Eduardo Julian2017-11-141-8/+2
|
* - Fixed some bugs.Eduardo Julian2017-11-141-15/+42
| | | - new-luxc can now fully compile lux.lux!
* - Removed "lux text last-index" procedure.Eduardo Julian2017-11-141-40/+54
| | | | | - Removed "lux text trim" procedure. - Modified "lux text clip" procedure. - Some bug fixes.
* - Type-vars no longer get deleted.Eduardo Julian2017-11-131-32/+31
| | | - Fixed some bugs.
* - Fixed some bugs.Eduardo Julian2017-11-121-279/+280
| | | | - Improved error reporting. - Optimized pattern-matching a bit.
* - Changed how Lux procedures work on the old compiler and the stdlib.Eduardo Julian2017-11-061-86/+86
|
* - "^code" can now be used as a normal macro, when pattern-matching using the ↵Eduardo Julian2017-10-311-1/+6
| | | | "^" macro.
* - Now, all special forms are handled as procedures.Eduardo Julian2017-10-311-1143/+1143
| | | - "lux case" now takes its branches as a non-empty record.
* - Added "^code" pattern-matching macro for easier handling of code.Eduardo Julian2017-10-301-0/+76
|
* - Added "lux check type" to old compiler.Eduardo Julian2017-10-301-9/+9
|
* - Added a new piece of compiler state, just for storing the current-module.Eduardo Julian2017-10-261-36/+40
|
* - "primitive" macro can now handle primitives as text.Eduardo Julian2017-10-261-0/+6
|
* - 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
|