From 190b512a822fefbb9c66271feb189cc6ccebaf85 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 15 Nov 2017 23:22:30 -0400
Subject: - Re-named "lux/meta" to to "lux/macro".

---
 new-luxc/source/luxc/lang/analysis/case/coverage.lux | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'new-luxc/source/luxc/lang/analysis/case')

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>)
-- 
cgit v1.2.3