aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/analyser')
-rw-r--r--new-luxc/source/luxc/analyser/case.lux16
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)]