diff options
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))) _ |