From 378d152a0d57449286f5758bdd00088529c36b4f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 24 Oct 2016 23:52:10 -0400
Subject: - Variant tag indices are now nats, instead of ints.

---
 src/lux/analyser.clj      | 2 +-
 src/lux/analyser/case.clj | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/lux/analyser.clj b/src/lux/analyser.clj
index 40ed3ab28..4133927e7 100644
--- a/src/lux/analyser.clj
+++ b/src/lux/analyser.clj
@@ -173,7 +173,7 @@
             (|do [=fn (just-analyse analyse (&/T [command-meta command]))]
               (&&lux/analyse-apply analyse cursor exo-type =fn parameters))))
 
-        (&/$IntS idx)
+        (&/$NatS idx)
         (&/with-analysis-meta cursor exo-type
           (&&lux/analyse-variant analyse (&/$Right exo-type) idx nil parameters))
 
diff --git a/src/lux/analyser/case.clj b/src/lux/analyser/case.clj
index 2fd787f28..6841577a8 100644
--- a/src/lux/analyser/case.clj
+++ b/src/lux/analyser/case.clj
@@ -360,7 +360,7 @@
             [=test =kont] (analyse-pattern &/$None case-type unit-tuple kont)]
         (return (&/T [($VariantTestAC (&/T [idx (&/|length group) =test])) =kont])))
 
-      (&/$FormS (&/$Cons [_ (&/$IntS idx)] ?values))
+      (&/$FormS (&/$Cons [_ (&/$NatS idx)] ?values))
       (|do [value-type* (adjust-type value-type)
             case-type (&type/sum-at idx value-type*)
             [=test =kont] (case (int (&/|length ?values))
-- 
cgit v1.2.3