Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - 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 | 3 | -122/+163 |
| | | | - Fixed some issues with array extensions. | ||||
* | 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 | 1 | -0/+0 |
| | |||||
* | The old compiler is now identified with "old" instead of "jvm". This should ↵ | Eduardo Julian | 2019-04-16 | 36 | -58/+64 |
| | | | | 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 |
| | |||||
* | 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 | 7 | -96/+116 |
| | |||||
* | Added some debugging machinery. | Eduardo Julian | 2019-04-12 | 1 | -0/+75 |
| | |||||
* | WIP: Lua compiler. | Eduardo Julian | 2019-04-11 | 17 | -19/+1370 |
| | |||||
* | WIP: Ruby compiler. | Eduardo Julian | 2019-04-09 | 5 | -8/+6 |
| | |||||
* | Moved Ruby back-end code to stdlib. | Eduardo Julian | 2019-04-08 | 19 | -83/+1483 |
| | |||||
* | Upgraded the tuple right-access mechanism to the new style. | Eduardo Julian | 2019-04-07 | 4 | -66/+74 |
| | |||||
* | Updated the JVM compiler to the latest changes. | Eduardo Julian | 2019-04-07 | 2 | -36/+2 |
| | |||||
* | - Upgrade the tuple left-access mechanism to the new style. | Eduardo Julian | 2019-04-07 | 29 | -65/+81 |
| | | | | - Updated JS compiler. - Updated Python compiler. | ||||
* | Moved "lux/cli", "lux/io" and "lux/function" under "lux/control". | Eduardo Julian | 2019-04-06 | 70 | -194/+222 |
| | |||||
* | 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 |
| | |||||
* | Updated JavaScript compiler. | Eduardo Julian | 2019-04-04 | 2 | -57/+57 |
| | |||||
* | - Updated analysis phase. | Eduardo Julian | 2019-04-04 | 3 | -26/+26 |
| | | | - Updated Python compiler. | ||||
* | Forgot "lux text char". | Eduardo Julian | 2019-04-04 | 8 | -10/+10 |
| | |||||
* | Changed the order of the inputs to the common extensions. | Eduardo Julian | 2019-04-04 | 9 | -209/+196 |
| | |||||
* | Re-named "do-template" to "template". | Eduardo Julian | 2019-03-30 | 155 | -643/+639 |
| | |||||
* | Yet more fixes. | Eduardo Julian | 2019-03-30 | 5 | -19/+34 |
| | |||||
* | Fixed some more tests. | Eduardo Julian | 2019-03-30 | 6 | -29/+38 |
| | |||||
* | Fixed more tests. | Eduardo Julian | 2019-03-29 | 19 | -533/+484 |
| | |||||
* | Fixed some tests. | Eduardo Julian | 2019-03-28 | 18 | -255/+337 |
| | |||||
* | The Python compiler is alive. | Eduardo Julian | 2019-03-27 | 9 | -416/+452 |
| | |||||
* | Got the Python compiler running. | Eduardo Julian | 2019-03-26 | 3 | -9/+13 |
| |