Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - 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 |
|/ | |||||
* | Merge pull request #2 from cvializ/patch-1 | LuxLang | 2015-05-04 | 1 | -1/+1 |
|\ | | | | | Update README.md | ||||
| * | Update README.md | cvializ | 2015-05-04 | 1 | -1/+1 |
|/ | | | Quick proofreading fix | ||||
* | Merge pull request #1 from nkantar/master | LuxLang | 2015-05-04 | 1 | -0/+1 |
|\ | | | | | Update README.md | ||||
| * | Update README.md | Nikola Kantar | 2015-05-04 | 1 | -0/+1 |
|/ | | | Fixed spacing issue near `let` example | ||||
* | v0.1 | Eduardo Julian | 2015-05-04 | 4 | -95/+541 |
| | |||||
* | Added the 0.1 compiler. | Eduardo Julian | 2015-05-04 | 1 | -0/+0 |
| | |||||
* | Readme | Eduardo Julian | 2015-05-04 | 1 | -0/+433 |
| | |||||
* | - Added the LuxVar type to properly specify the type of environment bindings. | Eduardo Julian | 2015-05-04 | 13 | -134/+351 |
| | | | | | | | | | - 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. | ||||
* | - Added alias-lux to import lux.lux definitions. | Eduardo Julian | 2015-05-04 | 10 | -146/+245 |
| | | | | - Fixed a few bugs both in lux.lux & the compiler. - Added exports to the language. | ||||
* | - Added def-aliasing. | Eduardo Julian | 2015-05-03 | 4 | -90/+167 |
| | | | | | | - | and & now normalize their slot-names. - Added several implementations of Eq, Ord & Show. | ||||
* | - Added ;;self-prefixes. | Eduardo Julian | 2015-05-03 | 3 | -138/+197 |
| | | | | - Added a version of ` that prefixes unprefixed idents with the current module's name. - The special forms no longer require unprefixed symbols and work with anything (in order to work properly with the new `). | ||||
* | - Optimized the compiler by eliminating reflection. | Eduardo Julian | 2015-05-03 | 15 | -134/+80 |
| | |||||
* | - Fixed escaping in chars | Eduardo Julian | 2015-05-03 | 3 | -21/+193 |
| | | | | - Added 2 custom pattern-matchers (\ & \or) & gensym - Added signatures & structures ^_^ | ||||
* | - The type syntax is finally complete ^_^ | Eduardo Julian | 2015-05-03 | 8 | -161/+218 |
| | | | | | | | | | - Finally, the "case" macro has been implemented ^_^ - The macro-expand function is also alive! - Corrected the field-access special forms so they take their field as a symbol instead of text. - Macros are no longer stored inside the CompilerState as (Maybe Macro), but as Macro. - Void is implemented as - Fixed an error when parsing escaped characters in text. - Fixed an error in the reader in which parsing regex2 gave back a 2-vector instead of a 2-tuple. | ||||
* | - Implemented some new macros & functions in lux.lux. | Eduardo Julian | 2015-05-02 | 4 | -149/+251 |
| | | | - WORKING ON DEBUGGING A COMPILER ERROR: java.lang.IncompatibleClassChangeError | ||||
* | - Finally got find-macro & macro-expand to work... (Note: type-vars bug is ↵ | Eduardo Julian | 2015-05-02 | 4 | -139/+110 |
| | | | | | still there. Must find & squash). - | ||||
* | - Added existential types via #ExT. | Eduardo Julian | 2015-05-01 | 4 | -47/+20 |
| | | | - Removed the (now useless) lux.type/is-Type? function. | ||||
* | Optimized the compiler with 2 tweaks: | Eduardo Julian | 2015-05-01 | 12 | -149/+104 |
| | | | | - Compilation units are not longer wrapped inside Expression/Statement variants. - analyse-apply* no longer returns lists. | ||||
* | - Added the lux;seed slot to the compiler state. | Eduardo Julian | 2015-05-01 | 6 | -40/+109 |
| | | | | - Macro declarations are now handled at the compiler-phase instead of the analyser phase to avoid the posibility of trying to declare a yet-uncompiled macro (due to the macro-expansion of defmacro). - Added a makeshift implementation of existential types on top of BoundT (must migrate to a more permanent implementation). |