Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Struct definition no longer required prefixed members (now, it actually ↵ | Eduardo Julian | 2015-08-04 | 19 | -356/+371 |
| | | | | prohibits them). | ||||
* | - Renamed the Syntax type to AST. | Eduardo Julian | 2015-08-04 | 16 | -256/+286 |
| | | | - Created the lux/meta/ast module. | ||||
* | - Added a macro for exporting definitions (to not depend on the #export tag ↵ | Eduardo Julian | 2015-08-04 | 6 | -32/+47 |
| | | | | | on definitions). - The "open" and "using" macros now work recursively on records. | ||||
* | - Type definitions inside the compiler data now hold the type itself. | Eduardo Julian | 2015-08-03 | 19 | -131/+210 |
| | | | | - Value definitions inside the compiler data now hold the value itself. - Fixed a few bugs. | ||||
* | Implemented text-interpolation through a macro ("<>") in lux/data/text | Eduardo Julian | 2015-08-03 | 6 | -24/+89 |
| | |||||
* | - Added a module for hashing. | Eduardo Julian | 2015-08-02 | 14 | -355/+552 |
| | | | | | | | | - 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 Julian | 2015-07-31 | 32 | -828/+1219 |
| | | | | | | | | - 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. | ||||
* | Merge pull request #4 from LuxLang/v0.2 | LuxLang | 2015-07-29 | 59 | -4843/+8141 |
|\ | | | | | V0.2 | ||||
| * | Updated the README for v0.2 | Eduardo Julian | 2015-07-29 | 1 | -655/+18 |
| | | |||||
| * | - lux;using no longer prefixes variables. | Eduardo Julian | 2015-07-29 | 23 | -463/+611 |
| | | | | | | | | - Fixed several bugs with host (JVM) interop. - Now packaging everything in a .jar file ("program.jar"). | ||||
| * | - Changed the name of lux/host/java to lux/host/jvm | Eduardo Julian | 2015-07-26 | 14 | -243/+174 |
| | | | | | | | | | | - 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". | ||||
| * | - Fixed a pattern-matching error where generalizations of types ↵ | Eduardo Julian | 2015-07-26 | 17 | -234/+367 |
| | | | | | | | | | | | | (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. | ||||
| * | - The output directory is now being used as the cache. | Eduardo Julian | 2015-07-25 | 37 | -168/+173 |
| | | | | | | - "input" has been renamed as "source" and "output" has been renamed as "target". | ||||
| * | /cache and /output now using same format. | Eduardo Julian | 2015-07-25 | 9 | -234/+94 |
| | | |||||
| * | - Removed the "seen-sources" field from the compiler state. | Eduardo Julian | 2015-07-24 | 7 | -109/+102 |
| | | | | | | - Fixed the caching mechanism. | ||||
| * | - Fixed an error when compiling Java field access (both static & virtual). | Eduardo Julian | 2015-07-24 | 8 | -185/+209 |
| | | | | | | - Fixed some errors regarding cache loading. | ||||
| * | - Added a way to pass the cursor from un-expanded macro-forms to their ↵ | Eduardo Julian | 2015-07-21 | 4 | -23/+98 |
| | | | | | | | | | | expansions in order to aid error-reporting. - Added recursive type definitions through the #rec tag in deftype. | ||||
| * | - Added a few more modules. | Eduardo Julian | 2015-07-19 | 14 | -101/+170 |
| | | | | | | - Added some type-tags to avoid reflection inside the compiler. | ||||
| * | Added copyright notice on all files that missed it. | Eduardo Julian | 2015-07-19 | 24 | -27/+186 |
| | | |||||
| * | - Some bug fixes. | Eduardo Julian | 2015-07-19 | 36 | -825/+1683 |
| | | | | | | - More additions to the standard library. | ||||
| * | - Added a ' (quote) macro that works like ` (backquote), without unquote or ↵ | Eduardo Julian | 2015-07-14 | 3 | -50/+137 |
| | | | | | | | | | | unquote splice working and not automatic prefixing of unprefixed symbols/tags. - Added (slightly) better type-error messages. | ||||
| * | - Added the beginnings of the standard library. | Eduardo Julian | 2015-07-12 | 33 | -534/+2825 |
| | | | | | | - Fixed several bugs. | ||||
| * | - The backwards analysis of function application is back. | Eduardo Julian | 2015-06-21 | 4 | -456/+390 |
| | | |||||
| * | - The directory for source-code is now named "input". | Eduardo Julian | 2015-06-20 | 14 | -252/+482 |
| | | | | | | - Implemented module-caching to avoid the waiting too much during program compilation. | ||||
| * | - Added imports. | Eduardo Julian | 2015-06-12 | 9 | -73/+145 |
| | | | | | | - Now storing information about definitions & imports inside the .class files. | ||||
| * | - Reimplemented module-aliasing. | Eduardo Julian | 2015-06-10 | 4 | -59/+108 |
| | | |||||
| * | - Now displaying the location where the analyser finds error (file-name, ↵ | Eduardo Julian | 2015-06-09 | 3 | -219/+229 |
| | | | | | | | | line & column). | ||||
| * | - Put definition metadata into the generated .class files. | Eduardo Julian | 2015-06-09 | 2 | -29/+152 |
| | | |||||
| * | - Finished _jvm-interface_ & _jvm-class_. | Eduardo Julian | 2015-05-31 | 9 | -195/+368 |
| | | | | | | - The version of the compiler is now stored as a field in the compiled definitions. | ||||
| * | - Now storing the hash of the source file as a final, static field of the ↵ | Eduardo Julian | 2015-05-27 | 2 | -5/+9 |
| | | | | | | | | generated class. | ||||
| * | - _jvm_program now relies on the (IO (,)) type. | Eduardo Julian | 2015-05-27 | 5 | -17/+90 |
| | | | | | | - The command-line params argument in jvm_program is now transformed from a String array into (List Text). | ||||
| * | - Now using an in-memory class-loader. | Eduardo Julian | 2015-05-26 | 4 | -18/+51 |
| | | |||||
| * | - Cleaned-up a few things in lux.lux | Eduardo Julian | 2015-05-24 | 11 | -440/+432 |
| | | | | | | | | - Replace most instances of "=" with ".equals". - Added an optimization to lux.type/type= that drastically speeds-up type comparisons. | ||||
| * | - Added a simple optimization based on the idea of avoiding to compare 2 ↵ | Eduardo Julian | 2015-05-22 | 2 | -68/+70 |
| | | | | | | | | | | 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. | ||||
| * | - Corrected the indentation issues in the lux files. | Eduardo Julian | 2015-05-22 | 11 | -1160/+1301 |
| | | | | | | | | | | | | | | - 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%. | ||||
| * | - Removed the apparently unnecessary total-locals. | Eduardo Julian | 2015-05-14 | 5 | -124/+36 |
| | | |||||
| * | - Multi-line comments have returned. | Eduardo Julian | 2015-05-14 | 3 | -19/+62 |
| | | |||||
| * | - Changed the names of the tags of the Syntax type to differentiate them ↵ | Eduardo Julian | 2015-05-10 | 8 | -415/+415 |
| | | | | | | | | better from the tags of the Type type. | ||||
| * | - Switched to the new prefix convention for both lux's special forms and the ↵ | Eduardo Julian | 2015-05-10 | 10 | -1369/+1407 |
| | | | | | | | | | | host's. - Made a few optimizations to speed-up the now slowed-down compiler. | ||||
| * | - Now analysing function-application backwards. | Eduardo Julian | 2015-05-10 | 6 | -458/+395 |
| | | |||||
| * | - Eliminated #eval-ctor from the HostState and now #seed is used for the ↵ | Eduardo Julian | 2015-05-07 | 6 | -54/+44 |
| | | | | | | | | | | same purpose. - Optimized some code a bit. | ||||
| * | - Made several optimizations to the compiler. | Eduardo Julian | 2015-05-06 | 16 | -247/+181 |
| | | | | | | - Also removed several unused definitions. | ||||
| * | - Made some small optimizations in the compiler. | Eduardo Julian | 2015-05-06 | 9 | -95/+108 |
| | | |||||
| * | - Removed a few unused definitions inside lux.base | Eduardo Julian | 2015-05-06 | 1 | -91/+3 |
| | | |||||
| * | - Removed all the unnecesary comments. | Eduardo Julian | 2015-05-06 | 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. | ||||
* | Changed the link to the updated place. | Eduardo Julian | 2015-05-05 | 1 | -1/+1 |
| | |||||
* | It was probably not a good idea to commit the compiler's JAR :/ | Eduardo Julian | 2015-05-05 | 1 | -0/+0 |
| | |||||
* | Fixed several errors in the README. | Eduardo Julian | 2015-05-05 | 1 | -33/+57 |
| | |||||
* | Merge pull request #3 from michael-okeefe/patch-1 | LuxLang | 2015-05-05 | 1 | -1/+1 |
|\ | | | | | Fix small typo signaturs -> signatures | ||||
| * | Fix small typo signaturs -> signatures | Michael O'Keefe | 2015-05-04 | 1 | -1/+1 |
|/ |