Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Adjusted the analysis to the changes in the interop layer. | Eduardo Julian | 2019-05-12 | 9 | -108/+241 |
| | |||||
* | Made the host-interop layer dependent on "lux/target/jvm/type". | Eduardo Julian | 2019-05-10 | 5 | -738/+571 |
| | |||||
* | Grounded some of the machinery used in analysis and generation on the types ↵ | Eduardo Julian | 2019-05-10 | 2 | -153/+333 |
| | | | | in "lux/target/jvm/type". | ||||
* | Improvements to parsing machinery. | Eduardo Julian | 2019-05-10 | 6 | -155/+179 |
| | |||||
* | Added equivalence for any I64. | Eduardo Julian | 2019-05-10 | 1 | -15/+22 |
| | |||||
* | WIP: Anonymous classes analysis & generation. | Eduardo Julian | 2019-05-09 | 2 | -17/+33 |
| | |||||
* | Parser for synthesis. | Eduardo Julian | 2019-05-09 | 1 | -0/+105 |
| | |||||
* | Can now analyze anonymous classes. | Eduardo Julian | 2019-05-07 | 4 | -272/+486 |
| | |||||
* | Fixed a bug when analyzing type-coercions. | Eduardo Julian | 2019-05-07 | 1 | -20/+32 |
| | |||||
* | Can now set the name of the "this" object, instead of being forced to use ↵ | Eduardo Julian | 2019-05-05 | 5 | -22/+36 |
| | | | | "_jvm_this". | ||||
* | - Replaced "Dirty" values with "Safe" values. | Eduardo Julian | 2019-05-04 | 6 | -220/+113 |
| | | | - Generalized "Safety" and "Privacy" as instances of "Policy". | ||||
* | Made more fixes to how cursors are produces by the parser. | Eduardo Julian | 2019-05-03 | 1 | -17/+19 |
| | |||||
* | Made some fixes to how cursors are produces by the parser. | Eduardo Julian | 2019-05-03 | 1 | -98/+93 |
| | |||||
* | Introduced the "#Macro" type and got rid of the "#lux.macro?" annotation ↵ | Eduardo Julian | 2019-05-02 | 5 | -188/+186 |
| | | | | type and its "magical" compiler behavior. | ||||
* | Turned "sum//get" into an iterative loop. | Eduardo Julian | 2019-05-01 | 2 | -21/+33 |
| | |||||
* | Now using "block" instead of "tagbody". | Eduardo Julian | 2019-05-01 | 2 | -50/+33 |
| | |||||
* | The Common Lisp compiler is alive. | Eduardo Julian | 2019-05-01 | 13 | -30/+1365 |
| | |||||
* | Turned all "lux int ???" extensions to "lux i64 ???". | Eduardo Julian | 2019-04-28 | 6 | -44/+38 |
| | |||||
* | Turned all "lux frac ???" extensions to "lux f64 ???". | Eduardo Julian | 2019-04-28 | 5 | -39/+39 |
| | |||||
* | Specialized array machinery for primitive arrays. | Eduardo Julian | 2019-04-28 | 2 | -23/+110 |
| | |||||
* | Moved JVM type machinery to stdlib. | Eduardo Julian | 2019-04-27 | 4 | -72/+277 |
| | |||||
* | Moved the modules under "lux/host/" to now be under "lux/target/". | Eduardo Julian | 2019-04-27 | 73 | -64/+68 |
| | |||||
* | Re-named "lux/tool/compiler/host" to "lux/target". | Eduardo Julian | 2019-04-27 | 27 | -466/+461 |
| | |||||
* | Got rid of the half-baked HTTP client machinery. | Eduardo Julian | 2019-04-27 | 1 | -87/+0 |
| | |||||
* | Ported tests for type analysis. | Eduardo Julian | 2019-04-27 | 3 | -19/+96 |
| | |||||
* | Refactored the spec a bit better. | Eduardo Julian | 2019-04-26 | 8 | -75/+142 |
| | |||||
* | Ported common extensions tests. | Eduardo Julian | 2019-04-26 | 1 | -0/+339 |
| | |||||
* | - Ported pattern-matching tests. | Eduardo Julian | 2019-04-26 | 3 | -24/+378 |
| | | | - Ported function tests. | ||||
* | Ported reference tests. | Eduardo Julian | 2019-04-26 | 2 | -20/+101 |
| | |||||
* | WIP: Turning compiler tests into a re-usable specification. | Eduardo Julian | 2019-04-26 | 3 | -0/+201 |
| | |||||
* | WIP: PHP compiler. | Eduardo Julian | 2019-04-24 | 18 | -57/+1448 |
| | |||||
* | - Improved debugging machinery. | Eduardo Julian | 2019-04-21 | 3 | -211/+167 |
| | | | - Now also displaying dynamic values with the help of "lux/debug.representation". | ||||
* | Added short names for special characters. | Eduardo Julian | 2019-04-21 | 1 | -12/+13 |
| | |||||
* | Moved the code/syntax parser under "lux/control/parser/". | Eduardo Julian | 2019-04-19 | 61 | -482/+570 |
| | |||||
* | Moved the XML parser under "lux/control/parser/". | Eduardo Julian | 2019-04-19 | 3 | -162/+179 |
| | |||||
* | Moved the JSON parser under "lux/control/parser/". | Eduardo Julian | 2019-04-19 | 5 | -244/+256 |
| | |||||
* | Re-named "lux/data/collection/tree/rose" to "lux/data/collection/tree". | Eduardo Julian | 2019-04-19 | 7 | -22/+18 |
| | |||||
* | Moved the (rose) tree parser under "lux/control/parser/". | Eduardo Julian | 2019-04-19 | 3 | -108/+101 |
| | |||||
* | Moved the CLI parser under "lux/control/parser/". | Eduardo Julian | 2019-04-19 | 5 | -45/+48 |
| | |||||
* | Renamed both "Poly" and "Lexer" to "Parser" in order to normalize naming a bit. | Eduardo Julian | 2019-04-19 | 14 | -164/+167 |
| | |||||
* | Moved the text lexers under "lux/control/parser/". | Eduardo Julian | 2019-04-19 | 17 | -113/+124 |
| | |||||
* | Extracted the type-parsing machinery into its own module. | Eduardo Julian | 2019-04-19 | 6 | -465/+487 |
| | |||||
* | Re-named "lux/tool/compiler/phase/extension/analysis/host.old.lux" to ↵ | Eduardo Julian | 2019-04-19 | 2 | -13/+18 |
| | | | | "lux/tool/compiler/phase/extension/analysis/jvm.lux". | ||||
* | WIP: Host interop for the new JVM compiler. | Eduardo Julian | 2019-04-18 | 4 | -158/+2279 |
| | |||||
* | Improvements and fixes for JVM extensions. | Eduardo Julian | 2019-04-18 | 4 | -266/+272 |
| | |||||
* | Fixed a bug where it was possible to write invalid identifiers if they ended ↵ | Eduardo Julian | 2019-04-18 | 1 | -18/+19 |
| | | | | in the separator character (e.g. "invalid."). | ||||
* | - Improved error messaging when trying to access an unbound type-parameter ↵ | Eduardo Julian | 2019-04-17 | 2 | -125/+121 |
| | | | | | during beta-reduction. - Removed the (unused) "var::remove" function. | ||||
* | Simplified the "Order" signature. | Eduardo Julian | 2019-04-17 | 20 | -296/+191 |
| | |||||
* | Some adjustments of the stdlib for the new JVM compiler. | Eduardo Julian | 2019-04-17 | 4 | -45/+89 |
| | |||||
* | - Made the "open:" and "^open" macros not generate record-patterns, and thus ↵ | Eduardo Julian | 2019-04-17 | 13 | -168/+171 |
| | | | | | not need (or impose a need on) tags. - The "do" macro for monads also doesn't need tags anymore. |