aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* Moved JVM type machinery to stdlib.Eduardo Julian2019-04-2718-486/+522
|
* Moved the modules under "lux/host/" to now be under "lux/target/".Eduardo Julian2019-04-2773-64/+68
|
* Re-named "lux/tool/compiler/host" to "lux/target".Eduardo Julian2019-04-2728-467/+465
|
* Got rid of the half-baked HTTP client machinery.Eduardo Julian2019-04-271-87/+0
|
* Ported tests for type analysis.Eduardo Julian2019-04-274-112/+96
|
* Refactored the spec a bit better.Eduardo Julian2019-04-269-131/+146
|
* Ported common extensions tests.Eduardo Julian2019-04-264-474/+342
|
* - Ported pattern-matching tests.Eduardo Julian2019-04-265-298/+199
| | | - Ported function tests.
* Ported reference tests.Eduardo Julian2019-04-265-144/+121
|
* WIP: Turning compiler tests into a re-usable specification.Eduardo Julian2019-04-2610-217/+273
|
* WIP: PHP compiler.Eduardo Julian2019-04-2443-2108/+1975
|
* - Improved debugging machinery.Eduardo Julian2019-04-213-211/+167
| | | - Now also displaying dynamic values with the help of "lux/debug.representation".
* Added short names for special characters.Eduardo Julian2019-04-211-12/+13
|
* Moved the code/syntax parser under "lux/control/parser/".Eduardo Julian2019-04-1961-482/+570
|
* Moved the XML parser under "lux/control/parser/".Eduardo Julian2019-04-193-162/+179
|
* Moved the JSON parser under "lux/control/parser/".Eduardo Julian2019-04-195-244/+256
|
* Re-named "lux/data/collection/tree/rose" to "lux/data/collection/tree".Eduardo Julian2019-04-197-22/+18
|
* Moved the (rose) tree parser under "lux/control/parser/".Eduardo Julian2019-04-193-108/+101
|
* Moved the CLI parser under "lux/control/parser/".Eduardo Julian2019-04-195-45/+48
|
* Renamed both "Poly" and "Lexer" to "Parser" in order to normalize naming a bit.Eduardo Julian2019-04-1914-164/+167
|
* Moved the text lexers under "lux/control/parser/".Eduardo Julian2019-04-1917-113/+124
|
* Extracted the type-parsing machinery into its own module.Eduardo Julian2019-04-196-465/+487
|
* Re-named "lux/tool/compiler/phase/extension/analysis/host.old.lux" to ↵Eduardo Julian2019-04-192-13/+18
| | | | "lux/tool/compiler/phase/extension/analysis/jvm.lux".
* WIP: Host interop for the new JVM compiler.Eduardo Julian2019-04-184-158/+2279
|
* Improvements and fixes for JVM extensions.Eduardo Julian2019-04-185-357/+347
|
* Fixed a bug where it was possible to write invalid identifiers if they ended ↵Eduardo Julian2019-04-181-18/+19
| | | | in the separator character (e.g. "invalid.").
* Fixed a bug when generating method calls.Eduardo Julian2019-04-172-16/+40
|
* - Improved error messaging when trying to access an unbound type-parameter ↵Eduardo Julian2019-04-172-125/+121
| | | | | during beta-reduction. - Removed the (unused) "var::remove" function.
* Simplified the "Order" signature.Eduardo Julian2019-04-1720-296/+191
|
* Some adjustments of the stdlib for the new JVM compiler.Eduardo Julian2019-04-174-45/+89
|
* - Made the "open:" and "^open" macros not generate record-patterns, and thus ↵Eduardo Julian2019-04-1713-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 Julian2019-04-171-0/+19
|
* Pattern-matching can now handle universally quantified sums.Eduardo Julian2019-04-172-27/+40
|
* Now "refreshing" the evaluator every time a new definition is processed.Eduardo Julian2019-04-174-40/+53
|
* Fixed an issue with weird spacing at the end of lines in "lux/time/duration".Eduardo Julian2019-04-173-38/+48
|
* - Re-named the "lux convert ..." extensions to "lux conversion ...".Eduardo Julian2019-04-174-198/+255
| | | - Fixed some issues with array extensions.
* Now using generation for host extensions.Eduardo Julian2019-04-161-11/+18
|
* The "invalid-syntax" can now be parameterized with the formatter for the inputs.Eduardo Julian2019-04-163-19/+15
|
* Made some new-luxc modules "old".Eduardo Julian2019-04-1613-835/+774
|
* The old compiler is now identified with "old" instead of "jvm". This should ↵Eduardo Julian2019-04-1638-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 Julian2019-04-168-30/+35
|
* Improvements to error messaging for extensions.Eduardo Julian2019-04-165-48/+56
|
* Some fixes to the parser.Eduardo Julian2019-04-162-33/+51
|
* Made some fixes the the type-checker, to properly handle the situation of ↵Eduardo Julian2019-04-161-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 Julian2019-04-152-5/+14
|
* More improvements to error messages.Eduardo Julian2019-04-154-50/+39
|
* Improved error reporting in the (new) compilers.Eduardo Julian2019-04-1515-257/+289
|
* Removed the (deemed unnecessary) host extensions for the scripting languages.Eduardo Julian2019-04-1511-231/+11
|
* Ported the synthesis tests to the new format.Eduardo Julian2019-04-1512-460/+472
|
* Ported the analysis tests to the new format.Eduardo Julian2019-04-1421-1111/+1162
|