aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Implemented "hole" typing.Eduardo Julian2019-06-1810-7/+36
|
* Fixes and adaptations for the JavaScript compiler.Eduardo Julian2019-06-1613-140/+468
|
* Array machinery for the JavaScript compiler.Eduardo Julian2019-06-1524-284/+541
|
* Some fixes for the scripting languages.Eduardo Julian2019-06-1422-104/+161
| | | + Small optimizations for pattern-matching generation.
* Some fixes.Eduardo Julian2019-06-1311-52/+183
|
* WIP: Class definition.Eduardo Julian2019-06-0617-344/+917
|
* Removed the (magical) "alias" annotations tag.Eduardo Julian2019-06-0126-351/+358
|
* Various fixes and tweaks.Eduardo Julian2019-05-2913-37/+103
|
* More massaging of the stdlib for the sake of the new compiler.Eduardo Julian2019-05-296-68/+205
|
* Both the old JVM interop and the new JVM interop use the same syntax for ↵Eduardo Julian2019-05-2827-521/+329
| | | | array types.
* Only infer the record-type during pattern-matching when the input-value's ↵Eduardo Julian2019-05-281-2/+7
| | | | type is unknown.
* Improvements to type-related machinery in JVM interop.Eduardo Julian2019-05-285-344/+373
| | | + Some bug fixes.
* Improved type inference/checking.Eduardo Julian2019-05-283-30/+67
|
* Applied several tweaks to make the code easier to process by the new compiler.Eduardo Julian2019-05-2840-152/+166
|
* Implemented machinery for "lux syntax char case!".Eduardo Julian2019-05-284-105/+235
|
* Moved my research notes from Trello to the repo:Eduardo Julian2019-05-288-1/+195
| | | | | | + Browser. + Machine learning. + Logic programming. + Transducer | stream | pipe.
* Removed the (magical) "export?" annotations tag.Eduardo Julian2019-05-2420-404/+377
|
* Moved my research notes from Trello to the repo:Eduardo Julian2019-05-234-0/+361
| | | | | | + Documentation. + Game programming. + Probabilistic programming. + Build systems.
* Removed the (magical) "tags" annotations tag.Eduardo Julian2019-05-227-496/+446
|
* Removed the (magical) "imports" annotations tag.Eduardo Julian2019-05-2214-266/+290
|
* Removed the useless #lux.type? annotation tag.Eduardo Julian2019-05-2211-216/+122
|
* Fixes & tweaks in tests (and relevant code) due to latest changes in the stdlib.Eduardo Julian2019-05-2116-238/+240
|
* WIP: Separate Scheme compiler.Eduardo Julian2019-05-2114-649/+590
|
* Now testing the methods implemented in anonymous classes to make sure all ↵Eduardo Julian2019-05-198-48/+207
| | | | abstract methods are implemented, and no new methods (that is to say, non-overriden methods) are introduced.
* Moved my research notes from Trello to the repo:Eduardo Julian2019-05-196-0/+420
| | | | | | + Debugging + Distributed programming + Web frameworks + Native compilation
* Moved some of the reflection machinery to its own modules.Eduardo Julian2019-05-185-570/+678
| | | * WIP: Implementation of completeness testing for anonymous classes.
* Moved my research notes from Trello to the repo.Eduardo Julian2019-05-184-1/+561
| | | | * On math. * On operating systems.
* The IO type now uses "Any" instead of "Nothing", to avoid the possibility of ↵Eduardo Julian2019-05-171-3/+3
| | | | the dummy argument being used in any meaningful way.
* Forgot to actually compile the methods. Now doing so.Eduardo Julian2019-05-173-40/+58
|
* Refactored boxes and reflections.Eduardo Julian2019-05-176-313/+324
|
* Fixed an accidentally introduced bug (due to OLD compiler JVM interop issues).Eduardo Julian2019-05-171-1/+5
|
* Automatic type casting/coercion for Boolean/Bit and String/Text.Eduardo Julian2019-05-177-304/+536
|
* Some type casting/coercion automation.Eduardo Julian2019-05-165-170/+169
|
* Yet more fiddling with types for JVM interop.Eduardo Julian2019-05-168-432/+562
| | | | + Some progress on anonymous classes. + More elaborate handling of JVM arrays.
* More fiddling with types for JVM interop.Eduardo Julian2019-05-137-289/+354
|
* Adjusted the analysis to the changes in the interop layer.Eduardo Julian2019-05-1210-109/+242
|
* Moved my research notes on text-editors & IDEs from Trello to the repo.Eduardo Julian2019-05-111-0/+185
|
* Moved my research notes on databases from Trello to the repo.Eduardo Julian2019-05-111-0/+441
|
* Made the host-interop layer dependent on "lux/target/jvm/type".Eduardo Julian2019-05-105-738/+571
|
* Grounded some of the machinery used in analysis and generation on the types ↵Eduardo Julian2019-05-103-174/+399
| | | | 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-094-47/+270
|
* 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
|