aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/lux/analyser.clj2
-rw-r--r--src/lux/analyser/case.clj2
2 files changed, 2 insertions, 2 deletions
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))