aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser/case.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/analyser/case.lux4
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)))
_