aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* Grounded some of the machinery used in analysis and generation on the types ↵Eduardo Julian2019-05-102-153/+333
| | | | in "lux/target/jvm/type".
* Improvements to parsing machinery.Eduardo Julian2019-05-106-155/+179
|
* Added equivalence for any I64.Eduardo Julian2019-05-101-15/+22
|
* WIP: Anonymous classes analysis & generation.Eduardo Julian2019-05-092-17/+33
|
* Parser for synthesis.Eduardo Julian2019-05-091-0/+105
|
* Can now analyze anonymous classes.Eduardo Julian2019-05-074-272/+486
|
* Fixed a bug when analyzing type-coercions.Eduardo Julian2019-05-071-20/+32
|
* Can now set the name of the "this" object, instead of being forced to use ↵Eduardo Julian2019-05-055-22/+36
| | | | "_jvm_this".
* - Replaced "Dirty" values with "Safe" values.Eduardo Julian2019-05-046-220/+113
| | | - Generalized "Safety" and "Privacy" as instances of "Policy".
* Made more fixes to how cursors are produces by the parser.Eduardo Julian2019-05-031-17/+19
|
* Made some fixes to how cursors are produces by the parser.Eduardo Julian2019-05-031-98/+93
|
* Introduced the "#Macro" type and got rid of the "#lux.macro?" annotation ↵Eduardo Julian2019-05-025-188/+186
| | | | type and its "magical" compiler behavior.
* Turned "sum//get" into an iterative loop.Eduardo Julian2019-05-012-21/+33
|
* Now using "block" instead of "tagbody".Eduardo Julian2019-05-012-50/+33
|
* The Common Lisp compiler is alive.Eduardo Julian2019-05-0113-30/+1365
|
* Turned all "lux int ???" extensions to "lux i64 ???".Eduardo Julian2019-04-286-44/+38
|
* Turned all "lux frac ???" extensions to "lux f64 ???".Eduardo Julian2019-04-285-39/+39
|
* Specialized array machinery for primitive arrays.Eduardo Julian2019-04-282-23/+110
|
* Moved JVM type machinery to stdlib.Eduardo Julian2019-04-274-72/+277
|
* 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-2727-466/+461
|
* Got rid of the half-baked HTTP client machinery.Eduardo Julian2019-04-271-87/+0
|
* Ported tests for type analysis.Eduardo Julian2019-04-273-19/+96
|
* 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
|