aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Small improvements and clean-up.Eduardo Julian2019-04-141-80/+41
|
* Merge pull request #50 from LuxLang/fix-composite-closeEduardo Julián2019-04-143-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 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-1210-175/+184
|
* Added some debugging machinery.Eduardo Julian2019-04-125-219/+81
|
* WIP: Lua compiler.Eduardo Julian2019-04-1137-1851/+1848
|
* WIP: Ruby compiler.Eduardo Julian2019-04-0915-360/+520
|
* Fixed a host-related type-checking bug in the old compiler.Eduardo Julian2019-04-091-26/+18
|
* Small improvement to commands file.Eduardo Julian2019-04-081-10/+14
|
* Moved Ruby back-end code to stdlib.Eduardo Julian2019-04-0831-1538/+1483
|
* Upgraded the tuple right-access mechanism to the new style.Eduardo Julian2019-04-079-187/+209
|
* Updated JVM compiler's tuple left-access mechanism to the new style.Eduardo Julian2019-04-073-15/+19
|
* Updated the JVM compiler to the latest changes.Eduardo Julian2019-04-0717-241/+208
|
* - Upgrade the tuple left-access mechanism to the new style.Eduardo Julian2019-04-0734-99/+124
| | | | - Updated JS compiler. - Updated Python compiler.
* Moved "lux/cli", "lux/io" and "lux/function" under "lux/control".Eduardo Julian2019-04-0671-196/+224
|
* Created the "lux/abstract" branch and moved some modules into it.Eduardo Julian2019-04-06266-410/+531
|
* Added a small optimization when checking variants whose internal value can ↵Eduardo Julian2019-04-044-67/+122
| | | | is ignored/popped.
* Fixed a bug when pattern matching against "Error" values.Eduardo Julian2019-04-042-18/+21
|