| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| |
| |
| | |
- Fixed some bugs.
|
| |
| |
| | |
- Fixed bug wherein recompiling a previously cached module didn't always trigger all the necessary recompilations from dependent modules.
|
| | |
|
| |
| |
| | |
- Added some optimizations for using List & Maybe within the compiler.
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
| |
| |
| | |
underscores, and now using slashes and putting submodules inside the directories of their parent modules.
|
| |
| |
| | |
- Cleaned-up a bit the tag-generation macro "deftags".
|
| | |
|
| | |
|
| | |
|
| |
| |
| | |
- Fixed a bug wherein the "case" macro ignored tokens when receiving uneven inputs.
|
| |
| |
| | |
- The "impl" methods in lambda classes are now marked "final"
|
| |
| |
| |
| |
| |
| | |
guarantee that type-variables don't unify to anything, instead of relying on VarT types.
- Fixed some bugs in the standard library due to improper behavior of the type-checker.
- The analysis and pattern-matching code for records now reuses that of tuples.
|
| |
| |
| | |
- Removed several (unnecessary) type annotations.
|
| | |
|
| | |
|
| |
| |
| |
| | |
- Fixed some minor bugs.
- Added the updated code for the parser (forgot to add it to a previous commit).
|
| | |
|
| | |
|
| | |
|
| |
| |
| |
| | |
with type-inference & Type/Show needs some pending corrections).
|
| |
| |
| |
| |
| | |
on Void to achieve "recursion".
- Introduced ExQ types into the type-system (still pending work on inference).
|
| |
| |
| |
| | |
- Corrected some code that still involved the old names for the list macros.
- Corrected some code in the pattern-matcher analyser to it fails properly when encountering invalid pattern-syntax.
|
| |
| |
| |
| |
| | |
importing.
- Compiler now cleans the module's .class files prior to compiling to avoid keeping old .class files around.
|
| |
| |
| |
| | |
each other when saving the class files in case-insensitive file-systems (https://github.com/LuxLang/lux/issues/8). The names of certain definitions were changed slightly to avoid clashes and the compiler throws an error if the names end up clashing prior to saving the .class file.
|
| |
| |
| | |
- Added some minor compiler optimizations.
|
| |
| |
| | |
- Fixed a bug when lexing multi-line comments.
|
| |
| |
| | |
- Implemented hygienic macros by adding global symbol resolution inside the ` macro.
|
| |
| |
| |
| | |
- Improved the "struct" macro so that (once again) it doesn't ask for the prefixes of the members.
- Added tests for the lux.reader namespace.
|
| |
| |
| |
| | |
- Removed the (unnecessary) lux/control/dict & lux/control/stack modules.
- The "Meta" type is now a record instead of a variant.
|
| |
| |
| |
| |
| |
| | |
- Removed the (unnecessary) lux/data/error module and moved it's structures to lux/data/either.
- Implemented the \slots destructurer for records.
- Implemented quicksort for lists as the "sort" function in lux/data/list.
- Added tags for the Cursor type.
|
| |
| |
| |
| | |
- UnivQ no longer stores the environment as key-val pairs with Text names, but instead stores it as type-lists with variables accessed via an index through a (updated) BoundT.
- UnivQ no longer stores the name of the type-fun, not the name of the type-arg.
|
| | |
|
| | |
|
| |
| |
| |
| | |
to too many corner cases, I decided the abandon the path towards a more mathematical implementation of tuples & variants.
|
| | |
|
| | |
|
| | |
|
| |
| |
| |
| |
| |
| | |
- Fixed a caching bug wherein imports data wasn't being installed when loading cached modules.
- Fixed a compilation error regarding tags in compile-program.
- Refactored the names of fields inside the generated classes, and also the named of the "module class".
- Refactored some of the details of how module info is stored inside the fields of module classes.
|
| |
| |
| |
| |
| |
| |
| | |
- As an unexpected bonus, the compiler has become 2.5x faster.
- Fixed some minor bugs.
- Tag declarations now include associated types.
- Tag declarations info is now stored twice (one from the perspective of tags, the other from the perspective of types).
- Changed the named of the "types" member of the Compiler type, to "type-vars" to avoid collision with the "types" member of the Module type.
|
| | |
|
| | |
|
| |
| |
| | |
- some adjustments to the new format for types.
|
| |
| |
| | |
- Bug fixes and adjustments.
|
| |
| |
| |
| |
| |
| |
| |
| | |
- Added several bug fixes
- Changed "Reader" to "Source" and "HostState" to "Host" in lux.lux
- Set up indexing of records via tags.
- Added lux.analyser.record namespace.
- Removed some (now) unnecessary code for working with records.
- Added the license (can't believe I missed it for so long.)
|
| |
| |
| |
| | |
- Fixed some bugs.
- Now pattern-matching on variants works with indices, rather than text tags.
|
| |
| |
| |
| | |
- Fixed a bug regarding type coercion (type-checking was ocurring unnecessarily).
- Fixed another bug regarding Local/Global variables.
|