diff options
-rw-r--r-- | src/lux/analyser.clj | 2 | ||||
-rw-r--r-- | src/lux/analyser/case.clj | 2 |
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)) |