Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Refactored the spec a bit better. | Eduardo Julian | 2019-04-26 | 8 | -75/+142 | |
| | ||||||
* | Ported common extensions tests. | Eduardo Julian | 2019-04-26 | 1 | -0/+339 | |
| | ||||||
* | - Ported pattern-matching tests. | Eduardo Julian | 2019-04-26 | 3 | -24/+378 | |
| | | | - Ported function tests. | |||||
* | Ported reference tests. | Eduardo Julian | 2019-04-26 | 2 | -20/+101 | |
| | ||||||
* | WIP: Turning compiler tests into a re-usable specification. | Eduardo Julian | 2019-04-26 | 3 | -0/+201 | |
| | ||||||
* | WIP: PHP compiler. | Eduardo Julian | 2019-04-24 | 18 | -57/+1448 | |
| | ||||||
* | - Improved debugging machinery. | Eduardo Julian | 2019-04-21 | 3 | -211/+167 | |
| | | | - Now also displaying dynamic values with the help of "lux/debug.representation". | |||||
* | Added short names for special characters. | Eduardo Julian | 2019-04-21 | 1 | -12/+13 | |
| | ||||||
* | Moved the code/syntax parser under "lux/control/parser/". | Eduardo Julian | 2019-04-19 | 61 | -482/+570 | |
| | ||||||
* | Moved the XML parser under "lux/control/parser/". | Eduardo Julian | 2019-04-19 | 3 | -162/+179 | |
| | ||||||
* | Moved the JSON parser under "lux/control/parser/". | Eduardo Julian | 2019-04-19 | 5 | -244/+256 | |
| | ||||||
* | Re-named "lux/data/collection/tree/rose" to "lux/data/collection/tree". | Eduardo Julian | 2019-04-19 | 7 | -22/+18 | |
| | ||||||
* | Moved the (rose) tree parser under "lux/control/parser/". | Eduardo Julian | 2019-04-19 | 3 | -108/+101 | |
| | ||||||
* | Moved the CLI parser under "lux/control/parser/". | Eduardo Julian | 2019-04-19 | 5 | -45/+48 | |
| | ||||||
* | Renamed both "Poly" and "Lexer" to "Parser" in order to normalize naming a bit. | Eduardo Julian | 2019-04-19 | 14 | -164/+167 | |
| | ||||||
* | Moved the text lexers under "lux/control/parser/". | Eduardo Julian | 2019-04-19 | 17 | -113/+124 | |
| | ||||||
* | 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 | 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 | |
| |