aboutsummaryrefslogtreecommitdiff
path: root/source (unfollow)
Commit message (Collapse)AuthorFilesLines
2015-09-15- Compiler now takes into consideration exceptions that can be thrown by ↵Eduardo Julian1-43/+43
constructors. - Changed the order of parameters in UnivQ & ExQ (even params are now arguments & odd params are now the UnivQ/ExQ types).
2015-09-14- Renamed "this" to "_jvm_this".Eduardo Julian2-4/+4
- Movied lux/data/io to lux/codata/io.
2015-09-14- Added the possibility to define anonymous classes.Eduardo Julian6-147/+217
- Fixed some bugs.
2015-09-13- Expanded the lux/host/jvm library.Eduardo Julian2-24/+138
2015-09-12- Added exhaustiveness testing for exception-handling code.Eduardo Julian2-7/+10
- Added some optimizations for using List & Maybe within the compiler.
2015-09-12- Added full support for arrays.Eduardo Julian1-3/+11
2015-09-12- Primitive data-types can now be parameterized by other types.Eduardo Julian4-29/+45
2015-09-11- Implemented the with-open macro.Eduardo Julian2-5/+30
- Cleaned-up a bit the tag-generation macro "deftags".
2015-09-11- Updated the standard library.Eduardo Julian12-477/+198
2015-09-09- Added type inference for functions.Eduardo Julian1-22/+24
- Fixed a bug wherein the "case" macro ignored tokens when receiving uneven inputs.
2015-09-08- A few minor fixes in the standard library.Eduardo Julian7-30/+42
- The "impl" methods in lambda classes are now marked "final"
2015-09-07- Type checking of polymorphic functions now relies on ExT types to ↵Eduardo Julian2-3/+5
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.
2015-09-06- Added the (untested) inference of tuple destructuring.Eduardo Julian4-82/+72
- Removed several (unnecessary) type annotations.
2015-09-06- Added type-inference when constructing tuples.Eduardo Julian5-104/+107
2015-09-06- Removed the (unnecessary) lux/meta/macro module.Eduardo Julian13-98/+90
2015-09-06- Expanded the standard library.Eduardo Julian12-42/+332
- Fixed some minor bugs. - Added the updated code for the parser (forgot to add it to a previous commit).
2015-09-02- Added a new (albeit small) I/O library with host-dependent functions.Eduardo Julian5-46/+76
2015-09-01- Added the lux/meta/type module (still missing equality due to an issue ↵Eduardo Julian1-0/+157
with type-inference & Type/Show needs some pending corrections).
2015-09-01- Fixed the implementation of the Rec macro, which forgot to do application ↵Eduardo Julian1-60/+111
on Void to achieve "recursion". - Introduced ExQ types into the type-system (still pending work on inference).
2015-09-01- Added a macro to write recursive types.Eduardo Julian4-118/+136
- 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.
2015-08-31- Found a compromise with the issue of certain definitions clashing with ↵Eduardo Julian9-373/+373
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.
2015-08-30- Added call/cc to lux/codata/lazy.Eduardo Julian2-2/+8
- Added some minor compiler optimizations.
2015-08-30- Removed the (now obsolete) `' macro.Eduardo Julian7-459/+496
- Implemented hygienic macros by adding global symbol resolution inside the ` macro.
2015-08-29- Remove the (unnec) "All'" and "->'" macros.Eduardo Julian19-259/+260
- 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.
2015-08-29- Added some compiler optimizations.Eduardo Julian13-307/+215
- Removed the (unnecessary) lux/control/dict & lux/control/stack modules. - The "Meta" type is now a record instead of a variant.
2015-08-29- Removed the (unnecessary) lux/data/cont module.Eduardo Julian5-87/+93
- 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.
2015-08-28- Changed the name of AllT (for-all type) to UnivQ (universal quantification).Eduardo Julian2-430/+460
- 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.
2015-08-28The environments of AllT types are no longer stored inside a Maybe.Eduardo Julian1-29/+24
2015-08-28Changed the license from EPL to MPL.Eduardo Julian39-273/+156
2015-08-28Due to several performance issues and my inability to optimize them away due ↵Eduardo Julian7-497/+494
to too many corner cases, I decided the abandon the path towards a more mathematical implementation of tuples & variants.
2015-08-23- Restructuring how sums & products work [part 3]Eduardo Julian7-172/+186
2015-08-23- Restructuring how sums & products work [part 2]Eduardo Julian1-72/+82
2015-08-23- Restructuring how sums & products work [part 1]Eduardo Julian1-255/+234
2015-08-17- Finished turning tags into indices.Eduardo Julian19-467/+547
- 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.
2015-08-16Introduced named types (#NamedT Ident Type).Eduardo Julian1-194/+235
2015-08-16Unified tuples & records.Eduardo Julian1-179/+152
2015-08-16- Some clean-up of needless code.Eduardo Julian1-171/+105
- some adjustments to the new format for types.
2015-08-12- Changing tags so they're actually indices (part 4). Eduardo Julian1-23/+4
- Bug fixes and adjustments.
2015-08-12- Changing tags so they're actually indices (part 3). Eduardo Julian1-50/+58
- 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.)
2015-08-10- Changing tags so they're actually indices (part 2).Eduardo Julian1-4/+4
- Fixed some bugs. - Now pattern-matching on variants works with indices, rather than text tags.
2015-08-10- Changing tags so they're actually indices (part 1).Eduardo Julian1-118/+190
- Fixed a bug regarding type coercion (type-checking was ocurring unnecessarily). - Fixed another bug regarding Local/Global variables.
2015-08-05- Local vars can now longer have prefixed symbols.Eduardo Julian7-139/+152
2015-08-05- The compiler now stores the cursor of the last analysed AST in order to ↵Eduardo Julian2-15/+30
avoid the problem of error ocurring "nowhere" (at ["" -1 -1]).
2015-08-04- Struct definition no longer required prefixed members (now, it actually ↵Eduardo Julian19-356/+371
prohibits them).
2015-08-04- Renamed the Syntax type to AST.Eduardo Julian15-241/+271
- Created the lux/meta/ast module.
2015-08-04- Added a macro for exporting definitions (to not depend on the #export tag ↵Eduardo Julian6-32/+47
on definitions). - The "open" and "using" macros now work recursively on records.
2015-08-03- Type definitions inside the compiler data now hold the type itself.Eduardo Julian4-22/+48
- Value definitions inside the compiler data now hold the value itself. - Fixed a few bugs.
2015-08-03Implemented text-interpolation through a macro ("<>") in lux/data/textEduardo Julian6-24/+89
2015-08-02- Added a module for hashing.Eduardo Julian8-281/+431
- 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.
2015-07-31- Did some refactoring of the standard library.Eduardo Julian27-711/+1080
- 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-09-17 23:05:21 +0000