From 76d520507cf352181f8e9705497bd99a925213ad Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 24 May 2017 18:29:38 -0400 Subject: - Renamed ^=> to ^multi. --- new-luxc/source/luxc/analyser/case.lux | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'new-luxc') 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 @@ -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)] -- cgit v1.2.3