aboutsummaryrefslogtreecommitdiff
path: root/stdlib (unfollow)
Commit message (Collapse)AuthorFilesLines
2019-04-27Moved JVM type machinery to stdlib.Eduardo Julian4-72/+277
2019-04-27Moved the modules under "lux/host/" to now be under "lux/target/".Eduardo Julian73-64/+68
2019-04-27Re-named "lux/tool/compiler/host" to "lux/target".Eduardo Julian27-466/+461
2019-04-27Got rid of the half-baked HTTP client machinery.Eduardo Julian1-87/+0
2019-04-27Ported tests for type analysis.Eduardo Julian3-19/+96
2019-04-26Refactored the spec a bit better.Eduardo Julian8-75/+142
2019-04-26Ported common extensions tests.Eduardo Julian1-0/+339
2019-04-26- Ported pattern-matching tests.Eduardo Julian3-24/+378
- Ported function tests.
2019-04-26Ported reference tests.Eduardo Julian2-20/+101
2019-04-26WIP: Turning compiler tests into a re-usable specification.Eduardo Julian3-0/+201
2019-04-24WIP: PHP compiler.Eduardo Julian18-57/+1448
2019-04-21- Improved debugging machinery.Eduardo Julian3-211/+167
- Now also displaying dynamic values with the help of "lux/debug.representation".
2019-04-21Added short names for special characters.Eduardo Julian1-12/+13
2019-04-19Moved the code/syntax parser under "lux/control/parser/".Eduardo Julian61-482/+570
2019-04-19Moved the XML parser under "lux/control/parser/".Eduardo Julian3-162/+179
2019-04-19Moved the JSON parser under "lux/control/parser/".Eduardo Julian5-244/+256
2019-04-19Re-named "lux/data/collection/tree/rose" to "lux/data/collection/tree".Eduardo Julian7-22/+18
2019-04-19Moved the (rose) tree parser under "lux/control/parser/".Eduardo Julian3-108/+101
2019-04-19Moved the CLI parser under "lux/control/parser/".Eduardo Julian5-45/+48
2019-04-19Renamed both "Poly" and "Lexer" to "Parser" in order to normalize naming a bit.Eduardo Julian14-164/+167
2019-04-19Moved the text lexers under "lux/control/parser/".Eduardo Julian17-113/+124
2019-04-19Extracted the type-parsing machinery into its own module.Eduardo Julian6-465/+487
2019-04-19Re-named "lux/tool/compiler/phase/extension/analysis/host.old.lux" to ↵Eduardo Julian2-13/+18
"lux/tool/compiler/phase/extension/analysis/jvm.lux".
2019-04-18WIP: Host interop for the new JVM compiler.Eduardo Julian4-158/+2279
2019-04-18Improvements and fixes for JVM extensions.Eduardo Julian4-266/+272
2019-04-18Fixed a bug where it was possible to write invalid identifiers if they ended ↵Eduardo Julian1-18/+19
in the separator character (e.g. "invalid.").
2019-04-17- Improved error messaging when trying to access an unbound type-parameter ↵Eduardo Julian2-125/+121
during beta-reduction. - Removed the (unused) "var::remove" function.
2019-04-17Simplified the "Order" signature.Eduardo Julian20-296/+191
2019-04-17Some adjustments of the stdlib for the new JVM compiler.Eduardo Julian4-45/+89
2019-04-17- Made the "open:" and "^open" macros not generate record-patterns, and thus ↵Eduardo Julian13-168/+171
not need (or impose a need on) tags. - The "do" macro for monads also doesn't need tags anymore.
2019-04-17Order for names.Eduardo Julian1-0/+19
2019-04-17Pattern-matching can now handle universally quantified sums.Eduardo Julian2-27/+40
2019-04-17Now "refreshing" the evaluator every time a new definition is processed.Eduardo Julian4-40/+53
2019-04-17Fixed an issue with weird spacing at the end of lines in "lux/time/duration".Eduardo Julian3-38/+48
2019-04-17- Re-named the "lux convert ..." extensions to "lux conversion ...".Eduardo Julian3-122/+163
- Fixed some issues with array extensions.
2019-04-16The "invalid-syntax" can now be parameterized with the formatter for the inputs.Eduardo Julian3-19/+15
2019-04-16Made some new-luxc modules "old".Eduardo Julian1-0/+0
2019-04-16The old compiler is now identified with "old" instead of "jvm". This should ↵Eduardo Julian36-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.
2019-04-16Small import fixes for the sake of tags.Eduardo Julian8-30/+35
2019-04-16Improvements to error messaging for extensions.Eduardo Julian5-48/+56
2019-04-16Some fixes to the parser.Eduardo Julian2-33/+51
2019-04-16Made some fixes the the type-checker, to properly handle the situation of ↵Eduardo Julian1-77/+121
type-checking against type-application, when the type-abstraction being checked against is some unknown type.
2019-04-15Yet more improvements to error messaging.Eduardo Julian2-5/+14
2019-04-15More improvements to error messages.Eduardo Julian4-50/+39
2019-04-15Improved error reporting in the (new) compilers.Eduardo Julian15-257/+289
2019-04-15Removed the (deemed unnecessary) host extensions for the scripting languages.Eduardo Julian11-231/+11
2019-04-15Ported the synthesis tests to the new format.Eduardo Julian12-460/+472
2019-04-14Ported the analysis tests to the new format.Eduardo Julian21-1111/+1162
2019-04-14Small improvements and clean-up.Eduardo Julian1-80/+41
2019-04-14Fixed a bug when closing composite syntax (forms, tuples & records) in the ↵Eduardo Julian3-107/+154
presence of comments at the end of the composite.