diff options
| author | Eduardo Julian | 2017-05-20 18:29:24 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-05-20 18:29:24 -0400 |
| commit | 8f88e4bf4b380e2f09d046fbef05fca452eae62c (patch) | |
| tree | 5a8a67dae8e40cbc2586d3356268583e6eb5098d /new-luxc/source/luxc/analyser/case.lux | |
| parent | 76d209d7b33f713259bd9ddb453d571f814005c9 (diff) | |
WIP
- Added analysis and type-inference for records and tagged variants.
- Extracted inference code to a separate module for better reuse.
Diffstat (limited to 'new-luxc/source/luxc/analyser/case.lux')
| -rw-r--r-- | new-luxc/source/luxc/analyser/case.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/analyser/case.lux b/new-luxc/source/luxc/analyser/case.lux index 391261ac8..ee009b1ab 100644 --- a/new-luxc/source/luxc/analyser/case.lux +++ b/new-luxc/source/luxc/analyser/case.lux @@ -192,9 +192,9 @@ (&;with-cursor cursor (do Monad<Lux> [tag (macro;normalize tag) - [idx group tagT] (macro;resolve-tag tag) + [idx group variantT] (macro;resolve-tag tag) _ (&;within-type-env - (TC;check inputT tagT))] + (TC;check inputT variantT))] (analyse-pattern (#;Some (list;size group)) inputT (' ((~ (code;nat idx)) (~@ values))) next))) _ |