aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Added bit-sets.Eduardo Julian2017-12-311-0/+13
|
* - Added module for predicates.Eduardo Julian2017-12-251-0/+3
| | | | | - Added refinement types. - Small refactorings and fixes. - Added the capacity to unquote expressions inside the 'lux.type' macro.
* - Brought luxc and new-luxc closer together.Eduardo Julian2017-12-051-8/+8
|
* - Added analysis, synthesis, translation and statement extensions.Eduardo Julian2017-12-051-17/+21
| | | | - No longer doing ad-hoc I/O in new-luxc. - Minor fixes and adjustments.
* - Re-named "Def" to "Definition".Eduardo Julian2017-12-041-37/+37
|
* - Fixed some small issues uncovered by new-luxc.Eduardo Julian2017-12-031-7/+7
|
* - Added some ~! to some macros to stop them from imposing dependencies.Eduardo Julian2017-12-021-0/+6
| | | - Added some code to "lux.type" so it can handle "lux in-module".
* - "gensym" went back to producing Code, instead of Ident.Eduardo Julian2017-12-021-63/+59
|
* - Added context-sensitive macro-expansion by means of "lux in-module", and ↵Eduardo Julian2017-12-021-132/+68
| | | | | | removed all the (now unnecessary) #hidden tags. - Fixed a bug when loading the imports from the cache. - Added special notation for context-sensitive macro-expansion.
* - Added new "lux in-module" procedure for changing the module while ↵Eduardo Julian2017-12-021-7/+13
| | | | analysing an expression.
* - Changed some of the syntax for macro templating.Eduardo Julian2017-12-011-288/+297
| | | - "gensym" now produces Ident instead of Code.
* - Made it so that module annotations can only be set once now.Eduardo Julian2017-12-011-2/+2
|
* - Changed the identifier separator, from the semi-colon (;) to the ↵Eduardo Julian2017-11-291-2124/+2132
| | | | period/dot (.).
* - Re-named the "." function to "compose" and moved it to lux/function.Eduardo Julian2017-11-281-8/+8
|
* - Changed the syntax involved in JVM host-interop.Eduardo Julian2017-11-271-9/+3
|
* - Got rid of even more dots.Eduardo Julian2017-11-271-8/+8
|
* - Changed the prefixes of numeric functions.Eduardo Julian2017-11-271-98/+98
|
* - Changed to the new relative imports syntax.Eduardo Julian2017-11-261-102/+104
|
* - Fixed some bugs.Eduardo Julian2017-11-211-304/+305
| | | - Some small refactoring.
* - 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.