aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis/case
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/lang/analysis/case')
-rw-r--r--new-luxc/source/luxc/lang/analysis/case/coverage.lux14
1 files changed, 7 insertions, 7 deletions
diff --git a/new-luxc/source/luxc/lang/analysis/case/coverage.lux b/new-luxc/source/luxc/lang/analysis/case/coverage.lux
index c41cfb2a4..283e21d02 100644
--- a/new-luxc/source/luxc/lang/analysis/case/coverage.lux
+++ b/new-luxc/source/luxc/lang/analysis/case/coverage.lux
@@ -9,7 +9,7 @@
text/format
(coll [list "list/" Fold<List>]
[dict #+ Dict]))
- [meta "meta/" Monad<Meta>])
+ [macro "macro/" Monad<Meta>])
(luxc ["&" lang]
(lang ["la" analysis])))
@@ -52,7 +52,7 @@
## Unit [] amounts to exhaustive coverage because there is only one
## possible value, so matching against it covers all cases.
(^or (^code ("lux case bind" (~ _))) (^code ("lux case tuple" [])))
- (meta/wrap #Exhaustive)
+ (macro/wrap #Exhaustive)
(^code ("lux case tuple" [(~ singleton)]))
(determine singleton)
@@ -61,13 +61,13 @@
## are too many possibilities as far as values go.
(^or [_ (#;Nat _)] [_ (#;Int _)] [_ (#;Deg _)]
[_ (#;Frac _)] [_ (#;Text _)])
- (meta/wrap #Partial)
+ (macro/wrap #Partial)
## Bools are the exception, since there is only "true" and
## "false", which means it is possible for boolean
## pattern-matching to become exhaustive if complementary parts meet.
[_ (#;Bool value)]
- (meta/wrap (#Bool value))
+ (macro/wrap (#Bool value))
## Tuple patterns can be exhaustive if there is exhaustiveness for all of
## their sub-patterns.
@@ -75,10 +75,10 @@
(loop [subs subs]
(case subs
#;Nil
- (meta/wrap #Exhaustive)
+ (macro/wrap #Exhaustive)
(#;Cons sub subs')
- (do meta;Monad<Meta>
+ (do macro;Monad<Meta>
[pre (determine sub)
post (recur subs')]
(if (exhaustive? post)
@@ -88,7 +88,7 @@
## Variant patterns can be shown to be exhaustive if all the possible
## cases are handled exhaustively.
(^code ("lux case variant" (~ [_ (#;Nat tag-id)]) (~ [_ (#;Nat num-tags)]) (~ sub)))
- (do meta;Monad<Meta>
+ (do macro;Monad<Meta>
[=sub (determine sub)]
(wrap (#Variant num-tags
(|> (dict;new number;Hash<Nat>)