aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Refactoring.Eduardo Julian2017-11-1317-515/+518
| | | | - Now giving type checking/inference a higher priority. - Better error messages.
* - Improved handling of type variables.Eduardo Julian2017-11-133-19/+64
|
* - Type-vars no longer get deleted.Eduardo Julian2017-11-1311-102/+110
| | | - Fixed some bugs.
* - Fixed some bugs.Eduardo Julian2017-11-127-133/+151
| | | | - Improved error reporting. - Optimized pattern-matching a bit.
* - Fixed the tests.Eduardo Julian2017-11-0912-70/+178
| | | | - Fixed a few bugs. - Can now translate recursion.
* - Fixed some bugs.Eduardo Julian2017-11-069-37/+62
|
* - Fixed some bugs.Eduardo Julian2017-11-069-100/+144
|
* - Minor refactorings.Eduardo Julian2017-11-0118-196/+222
| | | | - Fixed some bugs. - Enabled macro-expansion for statements.
* - Re-organized code-generation, and re-named it "translation".Eduardo Julian2017-11-0118-128/+125
|
* - Re-organized synthesis.Eduardo Julian2017-11-0115-31/+23
|
* - Re-named "parser" to "syntax".Eduardo Julian2017-10-312-2/+2
|
* - Fixed a bug when synthetizing pattern-matching.Eduardo Julian2017-10-311-1/+1
|
* - Re-organized analysis.Eduardo Julian2017-10-3124-70/+62
|
* - Migrated the format of analysis nodes from a custom data-type, to just ↵Eduardo Julian2017-10-3123-379/+385
| | | | Code nodes.
* - Moved the "host" directory from under "generator" to under "luxc".Eduardo Julian2017-10-3117-55/+55
|
* - Re-named "expr" module to "expression".Eduardo Julian2017-10-314-9/+7
|
* - Now, all special forms are handled as procedures.Eduardo Julian2017-10-314-87/+110
| | | - "lux case" now takes its branches as a non-empty record.
* - Added "^code" pattern-matching macro for easier handling of code.Eduardo Julian2017-10-301-10/+10
|
* - Migrated the format of synthesis nodes from a custom data-type, to just ↵Eduardo Julian2017-10-308-374/+408
| | | | Code nodes.
* - Fixed some bugs.Eduardo Julian2017-10-2923-449/+636
| | | | | - Improved error reporting. - Implemented macro-expansion (for JVM). - Implemented "let" compilation.
* - Added a new piece of compiler state, just for storing the current-module.Eduardo Julian2017-10-263-2/+17
|
* - Fixed remaining tests in compiler.Eduardo Julian2017-10-261-41/+52
| | | - Now showing stack-traces for errors on JVM.
* - Fixed some compiler tests.Eduardo Julian2017-10-263-21/+53
|
* - Fixed tests for analysis of common procedures.Eduardo Julian2017-10-261-1/+2
|
* - WIP: Wiring everything to get the compiler to work fully.Eduardo Julian2017-10-2616-304/+501
| | | - Fixed a bug when combining field/method/class modifiers.
* - Fixed some type-checking errors.Eduardo Julian2017-10-221-12/+12
|
* - Updated new compiler to latest version of stdlib.Eduardo Julian2017-10-213-26/+26
|
* - Compilation for method invocation.Eduardo Julian2017-10-193-26/+191
|
* - Method invocation analysis.Eduardo Julian2017-10-181-57/+119
|
* - Updated to the latest changes in stdlib.Eduardo Julian2017-10-1838-603/+595
|
* - WIP: Method analysis.Eduardo Julian2017-10-151-5/+317
|
* - Compilation and tests for fields.Eduardo Julian2017-10-142-16/+182
|
* - Compilation for object-based procedures.Eduardo Julian2017-10-142-5/+84
|
* - Compilation and tests for arrays.Eduardo Julian2017-10-126-22/+132
|
* - Compilation and tests for arithmetic, bit-wise operations and order.Eduardo Julian2017-10-123-23/+187
|
* - Compilation and tests for primitive conversions.Eduardo Julian2017-10-124-25/+150
|
* - Migrated new-luxc to latest version of stdlib.Eduardo Julian2017-10-1128-464/+462
| | | - Some refactoring.
* - Improved polymorphism and inheritance support.Eduardo Julian2017-10-091-93/+174
| | | - Added casting support for automatic boxing/unboxing.
* - WIP: Added support for inheritance.Eduardo Julian2017-10-081-104/+127
|
* - WIP: JVM field analysis.Eduardo Julian2017-10-083-71/+389
|
* - Added tests for host procedures.Eduardo Julian2017-10-071-104/+118
|
* - Simplified "eval".Eduardo Julian2017-10-052-5/+5
|
* - Added tests for type-checking and type-coercion.Eduardo Julian2017-10-053-18/+64
| | | | - Implemented "eval". - Fixed bugs when analysing variants and tuples.
* - WIP: JVM host procedure analysis.Eduardo Julian2017-10-044-176/+631
|
* - Function generation.Eduardo Julian2017-09-1916-80/+565
|
* - Added pattern-matching compilation.Eduardo Julian2017-09-174-31/+411
|
* - Re-named luxc/env to luxc/scope.Eduardo Julian2017-09-088-17/+16
|
* - Re-named "jvm-import" to "import".Eduardo Julian2017-09-0811-57/+57
|
* - Replaced the term "total" with "exhaustive".Eduardo Julian2017-09-072-28/+28
|
* - Added optional "char" syntax for nats.Eduardo Julian2017-09-051-5/+43
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 17:00:13 +0000