Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Improvements and fixes for JVM extensions. | Eduardo Julian | 2019-04-18 | 4 | -266/+272 | |
| | ||||||
* | 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."). | |||||
* | - 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 | |
| |