diff options
| author | Eduardo Julian | 2016-10-24 23:52:10 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-10-24 23:52:10 -0400 |
| commit | 378d152a0d57449286f5758bdd00088529c36b4f (patch) | |
| tree | 20d5fec9e7823d841a78a2040dc21ad267946dba /src | |
| parent | 5c178d01bce64bdae234c05823f7cb617925e621 (diff) | |
- Variant tag indices are now nats, instead of ints.
Diffstat (limited to '')
| -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)) |