diff options
Diffstat (limited to 'new-luxc/source/luxc/analyser')
| -rw-r--r-- | new-luxc/source/luxc/analyser/case.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/new-luxc/source/luxc/analyser/case.lux b/new-luxc/source/luxc/analyser/case.lux index ee009b1ab..239d846d1 100644 --- a/new-luxc/source/luxc/analyser/case.lux +++ b/new-luxc/source/luxc/analyser/case.lux @@ -166,8 +166,8 @@ size-sum (list;size flat-sum) num-cases (default size-sum num-tags)] (case (list;nth idx flat-sum) - (^=> (#;Some case-type) - (n.< num-cases idx)) + (^multi (#;Some case-type) + (n.< num-cases idx)) (if (and (n.> num-cases size-sum) (n.= (n.dec num-cases) idx)) (do Monad<Lux> @@ -315,8 +315,8 @@ [#PartialC #PartialC] (R/wrap #PartialC) - (^=> [(#BoolC sideA) (#BoolC sideSF)] - (xor sideA sideSF)) + (^multi [(#BoolC sideA) (#BoolC sideSF)] + (xor sideA sideSF)) (R/wrap #TotalC) [(#VariantC allA casesA) (#VariantC allSF casesSF)] @@ -368,13 +368,13 @@ (wrap (#SeqC leftM rightA)))) ## The left part will always match, so the addition is redundant. - (^=> [(#SeqC left right) single] - (C/= left single)) + (^multi [(#SeqC left right) single] + (C/= left single)) redundant-pattern ## The right part is not necessary, since it can always match the left. - (^=> [single (#SeqC left right)] - (C/= left single)) + (^multi [single (#SeqC left right)] + (C/= left single)) (R/wrap single) [_ (#AltC leftS rightS)] |