aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser/structure.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Added tests for type-checking and type-coercion.Eduardo Julian2017-10-051-2/+31
| | | | - Implemented "eval". - Fixed bugs when analysing variants and tuples.
* - Re-named luxc/env to luxc/scope.Eduardo Julian2017-09-081-3/+3
|
* - Updated new compiler's code to the recent changes in the language.Eduardo Julian2017-09-051-28/+28
| | | - WIP: Some other changes/additions to the new compiler.
* - Adapted compiler to the latest stdlib changes.Eduardo Julian2017-06-271-4/+4
|
* - Implemented some synthesis algorithms and tests for primitives, ↵Eduardo Julian2017-05-311-51/+4
| | | | | structures, procedures and function application. - Some refactoring.
* - Documented the analysis phase.Eduardo Julian2017-05-301-232/+197
| | | | - Some refactoring. - Removed singleton variants.
* - Some refactoring.Eduardo Julian2017-05-301-11/+10
|
* - Fixes for pattern-matching (case) analysis.Eduardo Julian2017-05-291-0/+351
- Small refactorings. - Improved common procedures analysis. - Can now handle tagged structures (variants & records). - Tests for pattern-matching, functions (definition & application), and common procedures.