Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2015-08-08 | Refactored tags for pattern-matching and vars. | Eduardo Julian | 6 | -77/+108 | |
2015-08-08 | More refactoring of tags, this time for reader, lexer & parser. | Eduardo Julian | 4 | -46/+94 | |
2015-08-06 | More factoring of tags. | Eduardo Julian | 10 | -317/+335 | |
2015-08-06 | Started factoring out the tags used in variants within the compiler. | Eduardo Julian | 16 | -468/+487 | |
2015-08-06 | - Fixed some errors with argument ordering with JVM arithmetic ops. | Eduardo Julian | 2 | -41/+41 | |
2015-08-06 | - Refacted the compiler by shifting to a pattern-matching syntax more akin ↵ | Eduardo Julian | 20 | -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. | |||||
2015-08-05 | - Local vars can now longer have prefixed symbols. | Eduardo Julian | 5 | -115/+118 | |
2015-08-05 | - The compiler now stores the cursor of the last analysed AST in order to ↵ | Eduardo Julian | 3 | -30/+49 | |
avoid the problem of error ocurring "nowhere" (at ["" -1 -1]). | |||||
2015-08-04 | - Renamed the Syntax type to AST. | Eduardo Julian | 1 | -15/+15 | |
- Created the lux/meta/ast module. | |||||
2015-08-03 | - Type definitions inside the compiler data now hold the type itself. | Eduardo Julian | 14 | -108/+161 | |
- Value definitions inside the compiler data now hold the value itself. - Fixed a few bugs. | |||||
2015-08-02 | - Added a module for hashing. | Eduardo Julian | 6 | -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. | |||||
2015-07-31 | - Did some refactoring of the standard library. | Eduardo Julian | 4 | -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. | |||||
2015-07-29 | - lux;using no longer prefixes variables. | Eduardo Julian | 12 | -367/+544 | |
- 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/jvm | Eduardo Julian | 5 | -48/+29 | |
- 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". | |||||
2015-07-26 | - Fixed a pattern-matching error where generalizations of types ↵ | Eduardo Julian | 9 | -141/+234 | |
(universal-quantification / AllT) was not being taken into account properly when destructuring. - Fixed a compiler error wherein the types of definitions didn't generate (correctly) the structures necessary for storage inside the class _meta(data) field. - Improved both the "open" and "import" macros with extra features. | |||||
2015-07-25 | - The output directory is now being used as the cache. | Eduardo Julian | 6 | -160/+165 | |
- "input" has been renamed as "source" and "output" has been renamed as "target". | |||||
2015-07-25 | /cache and /output now using same format. | Eduardo Julian | 8 | -196/+84 | |
2015-07-24 | - Removed the "seen-sources" field from the compiler state. | Eduardo Julian | 5 | -89/+80 | |
- Fixed the caching mechanism. | |||||
2015-07-24 | - Fixed an error when compiling Java field access (both static & virtual). | Eduardo Julian | 8 | -185/+209 | |
- Fixed some errors regarding cache loading. | |||||
2015-07-21 | - Added a way to pass the cursor from un-expanded macro-forms to their ↵ | Eduardo Julian | 2 | -4/+10 | |
expansions in order to aid error-reporting. - Added recursive type definitions through the #rec tag in deftype. | |||||
2015-07-19 | - Added a few more modules. | Eduardo Julian | 2 | -20/+29 | |
- Added some type-tags to avoid reflection inside the compiler. | |||||
2015-07-19 | Added copyright notice on all files that missed it. | Eduardo Julian | 22 | -1/+176 | |
2015-07-19 | - Some bug fixes. | Eduardo Julian | 8 | -364/+382 | |
- More additions to the standard library. | |||||
2015-07-14 | - Added a ' (quote) macro that works like ` (backquote), without unquote or ↵ | Eduardo Julian | 2 | -12/+87 | |
unquote splice working and not automatic prefixing of unprefixed symbols/tags. - Added (slightly) better type-error messages. | |||||
2015-07-12 | - Added the beginnings of the standard library. | Eduardo Julian | 12 | -122/+247 | |
- Fixed several bugs. | |||||
2015-06-21 | - The backwards analysis of function application is back. | Eduardo Julian | 3 | -105/+108 | |
2015-06-20 | - The directory for source-code is now named "input". | Eduardo Julian | 12 | -240/+466 | |
- Implemented module-caching to avoid the waiting too much during program compilation. | |||||
2015-06-12 | - Added imports. | Eduardo Julian | 8 | -55/+121 | |
- Now storing information about definitions & imports inside the .class files. | |||||
2015-06-10 | - Reimplemented module-aliasing. | Eduardo Julian | 3 | -33/+73 | |
2015-06-09 | - Now displaying the location where the analyser finds error (file-name, ↵ | Eduardo Julian | 3 | -219/+229 | |
line & column). | |||||
2015-06-09 | - Put definition metadata into the generated .class files. | Eduardo Julian | 1 | -6/+146 | |
2015-05-31 | - Finished _jvm-interface_ & _jvm-class_. | Eduardo Julian | 8 | -102/+254 | |
- The version of the compiler is now stored as a field in the compiled definitions. | |||||
2015-05-27 | - Now storing the hash of the source file as a final, static field of the ↵ | Eduardo Julian | 2 | -5/+9 | |
generated class. | |||||
2015-05-27 | - _jvm_program now relies on the (IO (,)) type. | Eduardo Julian | 3 | -7/+82 | |
- The command-line params argument in jvm_program is now transformed from a String array into (List Text). | |||||
2015-05-26 | - Now using an in-memory class-loader. | Eduardo Julian | 3 | -16/+47 | |
2015-05-24 | - Cleaned-up a few things in lux.lux | Eduardo Julian | 10 | -330/+332 | |
- Replace most instances of "=" with ".equals". - Added an optimization to lux.type/type= that drastically speeds-up type comparisons. | |||||
2015-05-22 | - Added a simple optimization based on the idea of avoiding to compare 2 ↵ | Eduardo Julian | 1 | -33/+35 | |
type-functions which are most-likely the same, due to their name (remembering that when you define types using deftype, the type-function's name will correspond to the def's). - Gave empty environments to top-level type-functions, instead of leaving them with unset environments. | |||||
2015-05-22 | - Corrected the indentation issues in the lux files. | Eduardo Julian | 9 | -157/+227 | |
- Temporarily reverted back to forward apply-analysis. - Fixed an error in lux.base/show-ast. - Reader now only returns a tuple instead of a full-blown #Meta variant. - Reader now doesn't cut the strings that it reads. Instead, the "cursor" just moves around, indicating where to read. - Inlined some calculations that previously relied on try-all%. | |||||
2015-05-14 | - Removed the apparently unnecessary total-locals. | Eduardo Julian | 3 | -110/+2 | |
2015-05-14 | - Multi-line comments have returned. | Eduardo Julian | 3 | -19/+62 | |
2015-05-10 | - Changed the names of the tags of the Syntax type to differentiate them ↵ | Eduardo Julian | 7 | -189/+189 | |
better from the tags of the Type type. | |||||
2015-05-10 | - Switched to the new prefix convention for both lux's special forms and the ↵ | Eduardo Julian | 8 | -211/+238 | |
host's. - Made a few optimizations to speed-up the now slowed-down compiler. | |||||
2015-05-10 | - Now analysing function-application backwards. | Eduardo Julian | 4 | -81/+84 | |
2015-05-07 | - Eliminated #eval-ctor from the HostState and now #seed is used for the ↵ | Eduardo Julian | 5 | -50/+42 | |
same purpose. - Optimized some code a bit. | |||||
2015-05-06 | - Made several optimizations to the compiler. | Eduardo Julian | 14 | -243/+177 | |
- Also removed several unused definitions. | |||||
2015-05-06 | - Made some small optimizations in the compiler. | Eduardo Julian | 9 | -95/+108 | |
2015-05-06 | - Removed a few unused definitions inside lux.base | Eduardo Julian | 1 | -91/+3 | |
2015-05-06 | - Removed all the unnecesary comments. | Eduardo Julian | 20 | -1002/+689 | |
- Made some changes to the way type-checking is performed on variants, records & tuples in order to improve the speed of type-checking. | |||||
2015-05-04 | v0.1 | Eduardo Julian | 2 | -10/+81 | |
2015-05-04 | - Added the LuxVar type to properly specify the type of environment bindings. | Eduardo Julian | 10 | -117/+203 | |
- Implemented "using". - Implemented jvm-program. - Corrected some primitive (un)wrapping errors in lux.compiler.host. - jvm-program is now scoped to enable local variables. - The types of definitions are now stored within the module dictionary. - Added a "main" method that just compiles program.lux. |