aboutsummaryrefslogtreecommitdiff
path: root/source (unfollow)
Commit message (Collapse)AuthorFilesLines
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.
2015-07-29- lux;using no longer prefixes variables.Eduardo Julian11-96/+67
- Fixed several bugs with host (JVM) interop. - Now packaging everything in a .jar file ("program.jar").
2015-07-26- Changed the name of lux/host/java to lux/host/jvmEduardo Julian9-195/+145
- Completed lux/host/jvm - Modified (slightly) the syntax used in several host (JVM) special forms. - The "defsyntax" macro now binds all of the arguments it receives inside a variable named "tokens".
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 15:16:33 +0000