aboutsummaryrefslogtreecommitdiff
path: root/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Primitive data-types can now be parameterized by other types.Eduardo Julian2015-09-126-166/+145
|
* - Abandoned the old format for classes of having module names separated by ↵Eduardo Julian2015-09-116-25/+35
| | | | underscores, and now using slashes and putting submodules inside the directories of their parent modules.
* - Implemented the with-open macro.Eduardo Julian2015-09-116-221/+221
| | | - Cleaned-up a bit the tag-generation macro "deftags".
* - Added inference during construction of variants.Eduardo Julian2015-09-103-44/+98
|
* - Implemented inference for constructing records.Eduardo Julian2015-09-106-207/+139
|
* - Added type inference for functions.Eduardo Julian2015-09-094-68/+124
| | | - Fixed a bug wherein the "case" macro ignored tokens when receiving uneven inputs.
* - A few minor fixes in the standard library.Eduardo Julian2015-09-083-101/+112
| | | - The "impl" methods in lambda classes are now marked "final"
* - Type checking of polymorphic functions now relies on ExT types to ↵Eduardo Julian2015-09-074-102/+105
| | | | | | 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.
* - Added the (untested) inference of tuple destructuring.Eduardo Julian2015-09-064-37/+62
| | | - Removed several (unnecessary) type annotations.
* - Added type-inference when constructing tuples.Eduardo Julian2015-09-066-43/+60
|
* - Expanded the standard library.Eduardo Julian2015-09-062-37/+18
| | | | - Fixed some minor bugs. - Added the updated code for the parser (forgot to add it to a previous commit).
* - Added a new (albeit small) I/O library with host-dependent functions.Eduardo Julian2015-09-021-1/+1
|
* - Fixed the implementation of the Rec macro, which forgot to do application ↵Eduardo Julian2015-09-012-0/+3
| | | | | on Void to achieve "recursion". - Introduced ExQ types into the type-system (still pending work on inference).
* - Added a macro to write recursive types.Eduardo Julian2015-09-011-0/+3
| | | | - 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.
* - Compiler no longer allows an alias to be reused for another module when ↵Eduardo Julian2015-08-312-14/+17
| | | | | importing. - Compiler now cleans the module's .class files prior to compiling to avoid keeping old .class files around.
* - Found a compromise with the issue of certain definitions clashing with ↵Eduardo Julian2015-08-311-3/+6
| | | | 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 call/cc to lux/codata/lazy.Eduardo Julian2015-08-303-35/+34
| | | - Added some minor compiler optimizations.
* - Added unit-tests for lexer.Eduardo Julian2015-08-302-32/+15
| | | - Fixed a bug when lexing multi-line comments.
* - Remove the (unnec) "All'" and "->'" macros.Eduardo Julian2015-08-292-15/+14
| | | | - 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.
* - Added some compiler optimizations.Eduardo Julian2015-08-299-237/+229
| | | | - 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/cont module.Eduardo Julian2015-08-291-1/+1
| | | | | | - 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.
* - Changed the name of AllT (for-all type) to UnivQ (universal quantification).Eduardo Julian2015-08-289-330/+290
| | | | - 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.
* The environments of AllT types are no longer stored inside a Maybe.Eduardo Julian2015-08-282-43/+24
|
* Changed the license from EPL to MPL.Eduardo Julian2015-08-2828-196/+112
|
* Due to several performance issues and my inability to optimize them away due ↵Eduardo Julian2015-08-2823-1791/+1826
| | | | to too many corner cases, I decided the abandon the path towards a more mathematical implementation of tuples & variants.
* - Restructuring how sums & products work [part 3]Eduardo Julian2015-08-233-18/+19
|
* - Restructuring how sums & products work [part 2]Eduardo Julian2015-08-238-39/+76
|
* - Restructuring how sums & products work [part 1]Eduardo Julian2015-08-2323-1798/+1725
|
* - Tags data is now stored in the cache.Eduardo Julian2015-08-188-45/+168
| | | | | | - 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.
* - Finished turning tags into indices.Eduardo Julian2015-08-1710-89/+149
| | | | | | | - 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.
* Introduced named types (#NamedT Ident Type).Eduardo Julian2015-08-165-198/+239
|
* Unified tuples & records.Eduardo Julian2015-08-166-87/+22
|
* - Changing tags so they're actually indices (part 4). Eduardo Julian2015-08-123-15/+69
| | | - Bug fixes and adjustments.
* - Changing tags so they're actually indices (part 3). Eduardo Julian2015-08-1214-291/+370
| | | | | | | | - 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.)
* - Changing tags so they're actually indices (part 2).Eduardo Julian2015-08-107-177/+222
| | | | - Fixed some bugs. - Now pattern-matching on variants works with indices, rather than text tags.
* - Changing tags so they're actually indices (part 1).Eduardo Julian2015-08-109-236/+462
| | | | - Fixed a bug regarding type coercion (type-checking was ocurring unnecessarily). - Fixed another bug regarding Local/Global variables.
* Refactored the tags for the analyser.Eduardo Julian2015-08-089-223/+340
|
* Refactored the tags of definitions.Eduardo Julian2015-08-085-25/+33
|
* Refactored tags for pattern-matching and vars.Eduardo Julian2015-08-086-77/+108
|
* More refactoring of tags, this time for reader, lexer & parser.Eduardo Julian2015-08-084-46/+94
|
* More factoring of tags.Eduardo Julian2015-08-0610-317/+335
|
* Started factoring out the tags used in variants within the compiler.Eduardo Julian2015-08-0616-468/+487
|
* - Fixed some errors with argument ordering with JVM arithmetic ops.Eduardo Julian2015-08-062-41/+41
|
* - Refacted the compiler by shifting to a pattern-matching syntax more akin ↵Eduardo Julian2015-08-0620-1111/+1141
| | | | | to Lux's, while also allowing non-literal tags that can be defined as constants elsewhere. - Added some extra JVM ops for bit-fiddling that were missing.
* - Local vars can now longer have prefixed symbols.Eduardo Julian2015-08-055-115/+118
|
* - The compiler now stores the cursor of the last analysed AST in order to ↵Eduardo Julian2015-08-053-30/+49
| | | | avoid the problem of error ocurring "nowhere" (at ["" -1 -1]).
* - Renamed the Syntax type to AST.Eduardo Julian2015-08-041-15/+15
| | | - Created the lux/meta/ast module.
* - Type definitions inside the compiler data now hold the type itself.Eduardo Julian2015-08-0314-108/+161
| | | | - Value definitions inside the compiler data now hold the value itself. - Fixed a few bugs.
* - Added a module for hashing.Eduardo Julian2015-08-026-74/+121
| | | | | | | | - Refactored the standard library a bit. - Implemented the "loop" macro. - Added the expected type of expressions as a field in the compiler state. - Added syntactic sugar for using tuples with variants, in order to minimize the usage of brackets to delimit the contents of data-structures. - Fixed a bug wherein "macro-expand" was behaving like "macro-expand-all", and added a separate implementation for "macro-expand-all". - Fixed a few bugs.
* - Did some refactoring of the standard library.Eduardo Julian2015-07-314-116/+138
| | | | | | | | - Introduced 2 new modules: lux/data/tuple & lux/codata/function - Now doing safe reading of files. - Took the "let", "lambda" & "def" macros to their ultimate form. - Added some macros for doing better JVM interop. - Fixed a bug when compiling comparisons for doubles. - Changed the order in which arguments are compiled for all arithmetic operations, as the order is reversed (from the conventional order) in the JVM bytecode.
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 06:49:55 +0000