From 8f88e4bf4b380e2f09d046fbef05fca452eae62c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 20 May 2017 18:29:24 -0400
Subject: WIP - Added analysis and type-inference for records and tagged
 variants. - Extracted inference code to a separate module for better reuse.

---
 new-luxc/source/luxc/analyser/case.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'new-luxc/source/luxc/analyser/case.lux')

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)))
 
     _
-- 
cgit v1.2.3