Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Extracted the type-parsing machinery into its own module. | Eduardo Julian | 2019-04-19 | 6 | -465/+487 |
| | |||||
* | Re-named "lux/tool/compiler/phase/extension/analysis/host.old.lux" to ↵ | Eduardo Julian | 2019-04-19 | 2 | -13/+18 |
| | | | | "lux/tool/compiler/phase/extension/analysis/jvm.lux". | ||||
* | WIP: Host interop for the new JVM compiler. | Eduardo Julian | 2019-04-18 | 4 | -158/+2279 |
| | |||||
* | Improvements and fixes for JVM extensions. | Eduardo Julian | 2019-04-18 | 5 | -357/+347 |
| | |||||
* | Fixed a bug where it was possible to write invalid identifiers if they ended ↵ | Eduardo Julian | 2019-04-18 | 1 | -18/+19 |
| | | | | in the separator character (e.g. "invalid."). | ||||
* | Fixed a bug when generating method calls. | Eduardo Julian | 2019-04-17 | 2 | -16/+40 |
| | |||||
* | - Improved error messaging when trying to access an unbound type-parameter ↵ | Eduardo Julian | 2019-04-17 | 2 | -125/+121 |
| | | | | | during beta-reduction. - Removed the (unused) "var::remove" function. | ||||
* | Simplified the "Order" signature. | Eduardo Julian | 2019-04-17 | 20 | -296/+191 |
| | |||||
* | Some adjustments of the stdlib for the new JVM compiler. | Eduardo Julian | 2019-04-17 | 4 | -45/+89 |
| | |||||
* | - Made the "open:" and "^open" macros not generate record-patterns, and thus ↵ | Eduardo Julian | 2019-04-17 | 13 | -168/+171 |
| | | | | | not need (or impose a need on) tags. - The "do" macro for monads also doesn't need tags anymore. | ||||
* | Order for names. | Eduardo Julian | 2019-04-17 | 1 | -0/+19 |
| | |||||
* | Pattern-matching can now handle universally quantified sums. | Eduardo Julian | 2019-04-17 | 2 | -27/+40 |
| | |||||
* | Now "refreshing" the evaluator every time a new definition is processed. | Eduardo Julian | 2019-04-17 | 4 | -40/+53 |
| | |||||
* | Fixed an issue with weird spacing at the end of lines in "lux/time/duration". | Eduardo Julian | 2019-04-17 | 3 | -38/+48 |
| | |||||
* | - Re-named the "lux convert ..." extensions to "lux conversion ...". | Eduardo Julian | 2019-04-17 | 4 | -198/+255 |
| | | | - Fixed some issues with array extensions. | ||||
* | Now using generation for host extensions. | Eduardo Julian | 2019-04-16 | 1 | -11/+18 |
| | |||||
* | The "invalid-syntax" can now be parameterized with the formatter for the inputs. | Eduardo Julian | 2019-04-16 | 3 | -19/+15 |
| | |||||
* | Made some new-luxc modules "old". | Eduardo Julian | 2019-04-16 | 13 | -835/+774 |
| | |||||
* | The old compiler is now identified with "old" instead of "jvm". This should ↵ | Eduardo Julian | 2019-04-16 | 38 | -60/+66 |
| | | | | help to get old JVM code and new JVM code to coexist without forcing a major rewrite of old compiler code to get it to fit the style of the new JVM compiler code. | ||||
* | Small import fixes for the sake of tags. | Eduardo Julian | 2019-04-16 | 8 | -30/+35 |
| | |||||
* | Improvements to error messaging for extensions. | Eduardo Julian | 2019-04-16 | 5 | -48/+56 |
| | |||||
* | Some fixes to the parser. | Eduardo Julian | 2019-04-16 | 2 | -33/+51 |
| | |||||
* | Made some fixes the the type-checker, to properly handle the situation of ↵ | Eduardo Julian | 2019-04-16 | 1 | -77/+121 |
| | | | | type-checking against type-application, when the type-abstraction being checked against is some unknown type. | ||||
* | Yet more improvements to error messaging. | Eduardo Julian | 2019-04-15 | 2 | -5/+14 |
| | |||||
* | More improvements to error messages. | Eduardo Julian | 2019-04-15 | 4 | -50/+39 |
| | |||||
* | Improved error reporting in the (new) compilers. | Eduardo Julian | 2019-04-15 | 15 | -257/+289 |
| | |||||
* | Removed the (deemed unnecessary) host extensions for the scripting languages. | Eduardo Julian | 2019-04-15 | 11 | -231/+11 |
| | |||||
* | Ported the synthesis tests to the new format. | Eduardo Julian | 2019-04-15 | 12 | -460/+472 |
| | |||||
* | Ported the analysis tests to the new format. | Eduardo Julian | 2019-04-14 | 21 | -1111/+1162 |
| | |||||
* | Small improvements and clean-up. | Eduardo Julian | 2019-04-14 | 1 | -80/+41 |
| | |||||
* | Merge pull request #50 from LuxLang/fix-composite-close | Eduardo Julián | 2019-04-14 | 3 | -107/+154 |
|\ | | | | | Fixed a bug when closing composite syntax (forms, tuples & records) i… | ||||
| * | Fixed a bug when closing composite syntax (forms, tuples & records) in the ↵ | Eduardo Julian | 2019-04-14 | 3 | -107/+154 |
|/ | | | | presence of comments at the end of the composite. | ||||
* | Some refactoring. | Eduardo Julian | 2019-04-13 | 1 | -74/+45 |
| | |||||
* | Started porting tests for "lux/tool". | Eduardo Julian | 2019-04-13 | 4 | -168/+183 |
| | |||||
* | Fixed some bugs. | Eduardo Julian | 2019-04-12 | 4 | -44/+36 |
| | |||||
* | Improvements and fixes to "tuple//left" and "tuple//right". | Eduardo Julian | 2019-04-12 | 10 | -175/+184 |
| | |||||
* | Added some debugging machinery. | Eduardo Julian | 2019-04-12 | 5 | -219/+81 |
| | |||||
* | WIP: Lua compiler. | Eduardo Julian | 2019-04-11 | 37 | -1851/+1848 |
| | |||||
* | WIP: Ruby compiler. | Eduardo Julian | 2019-04-09 | 15 | -360/+520 |
| | |||||
* | Fixed a host-related type-checking bug in the old compiler. | Eduardo Julian | 2019-04-09 | 1 | -26/+18 |
| | |||||
* | Small improvement to commands file. | Eduardo Julian | 2019-04-08 | 1 | -10/+14 |
| | |||||
* | Moved Ruby back-end code to stdlib. | Eduardo Julian | 2019-04-08 | 31 | -1538/+1483 |
| | |||||
* | Upgraded the tuple right-access mechanism to the new style. | Eduardo Julian | 2019-04-07 | 9 | -187/+209 |
| | |||||
* | Updated JVM compiler's tuple left-access mechanism to the new style. | Eduardo Julian | 2019-04-07 | 3 | -15/+19 |
| | |||||
* | Updated the JVM compiler to the latest changes. | Eduardo Julian | 2019-04-07 | 17 | -241/+208 |
| | |||||
* | - Upgrade the tuple left-access mechanism to the new style. | Eduardo Julian | 2019-04-07 | 34 | -99/+124 |
| | | | | - Updated JS compiler. - Updated Python compiler. | ||||
* | Moved "lux/cli", "lux/io" and "lux/function" under "lux/control". | Eduardo Julian | 2019-04-06 | 71 | -196/+224 |
| | |||||
* | Created the "lux/abstract" branch and moved some modules into it. | Eduardo Julian | 2019-04-06 | 266 | -410/+531 |
| | |||||
* | Added a small optimization when checking variants whose internal value can ↵ | Eduardo Julian | 2019-04-04 | 4 | -67/+122 |
| | | | | is ignored/popped. | ||||
* | Fixed a bug when pattern matching against "Error" values. | Eduardo Julian | 2019-04-04 | 2 | -18/+21 |
| |