aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* Refactored the spec a bit better.Eduardo Julian2019-04-268-75/+142
|
* Ported common extensions tests.Eduardo Julian2019-04-261-0/+339
|
* - Ported pattern-matching tests.Eduardo Julian2019-04-263-24/+378
| | | - Ported function tests.
* Ported reference tests.Eduardo Julian2019-04-262-20/+101
|
* WIP: Turning compiler tests into a re-usable specification.Eduardo Julian2019-04-263-0/+201
|
* WIP: PHP compiler.Eduardo Julian2019-04-2418-57/+1448
|
* - 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-184-266/+272
|
* 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.").
* - 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-173-122/+163
| | | - Fixed some issues with array extensions.
* 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-161-0/+0
|
* The old compiler is now identified with "old" instead of "jvm". This should ↵Eduardo Julian2019-04-1636-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 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
|
* Small improvements and clean-up.Eduardo Julian2019-04-141-80/+41
|
* Fixed a bug when closing composite syntax (forms, tuples & records) in the ↵Eduardo Julian2019-04-143-107/+154
| | | | presence of comments at the end of the composite.
* Some refactoring.Eduardo Julian2019-04-131-74/+45
|
* Started porting tests for "lux/tool".Eduardo Julian2019-04-134-168/+183
|
* Fixed some bugs.Eduardo Julian2019-04-124-44/+36
|
* Improvements and fixes to "tuple//left" and "tuple//right".Eduardo Julian2019-04-127-96/+116
|
* Added some debugging machinery.Eduardo Julian2019-04-121-0/+75
|