Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Got rid of the half-baked HTTP client machinery. | Eduardo Julian | 2019-04-27 | 1 | -87/+0 |
| | |||||
* | Ported tests for type analysis. | Eduardo Julian | 2019-04-27 | 4 | -112/+96 |
| | |||||
* | Refactored the spec a bit better. | Eduardo Julian | 2019-04-26 | 9 | -131/+146 |
| | |||||
* | Ported common extensions tests. | Eduardo Julian | 2019-04-26 | 4 | -474/+342 |
| | |||||
* | - Ported pattern-matching tests. | Eduardo Julian | 2019-04-26 | 5 | -298/+199 |
| | | | - Ported function tests. | ||||
* | Ported reference tests. | Eduardo Julian | 2019-04-26 | 5 | -144/+121 |
| | |||||
* | WIP: Turning compiler tests into a re-usable specification. | Eduardo Julian | 2019-04-26 | 10 | -217/+273 |
| | |||||
* | WIP: PHP compiler. | Eduardo Julian | 2019-04-24 | 43 | -2108/+1975 |
| | |||||
* | - 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 | 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. |