- Renamed ^=> to ^multi.

1 files changed, 25 insertions, 25 deletions

diff --git a/stdlib/source/lux/macro/poly.lux b/stdlib/source/lux/macro/poly.lux
index ecf5e2019..869d80de4 100644
--- a/stdlib/source/lux/macro/poly.lux
+++ b/stdlib/source/lux/macro/poly.lux
@@ -214,9 +214,9 @@
   (-> Ident (Matcher Type))
   (;function [:type:]
     (case (type;un-name :type:)
-      (^=> (#;App :quant: :arg:)
-           [(type;un-alias :quant:) (#;Named actual _)]
-           (Ident/= name actual))
+      (^multi (#;App :quant: :arg:)
+              [(type;un-alias :quant:) (#;Named actual _)]
+              (Ident/= name actual))
       (:: macro;Monad<Lux> wrap :arg:)
 
       _
@@ -226,9 +226,9 @@
   (-> Ident (Matcher [Type Type]))
   (;function [:type:]
     (case (type;un-name :type:)
-      (^=> (#;App (#;App :quant: :arg0:) :arg1:)
-           [(type;un-alias :quant:) (#;Named actual _)]
-           (Ident/= name actual))
+      (^multi (#;App (#;App :quant: :arg0:) :arg1:)
+              [(type;un-alias :quant:) (#;Named actual _)]
+              (Ident/= name actual))
       (:: macro;Monad<Lux> wrap [:arg0: :arg1:])
 
       _
@@ -262,20 +262,20 @@
     (do Monad<Lux>
       [[t-func t-args] (apply :type:)]
       (case t-func
-        (^=> (#;Bound t-func-idx)
-             (n.= +0 (adjusted-idx env t-func-idx))
-             [(do maybe;Monad<Maybe>
-                [=func (dict;get +0 env)
-                 =args (mapM @ (;function [t-arg]
-                                 (case t-arg
-                                   (#;Bound idx)
-                                   (dict;get (adjusted-idx env idx) env)
-
-                                   _
-                                   #;None))
-                             t-args)]
-                (wrap (` ((~ (product;right =func)) (~@ (List/map product;right =args))))))
-              (#;Some call)])
+        (^multi (#;Bound t-func-idx)
+                (n.= +0 (adjusted-idx env t-func-idx))
+                [(do maybe;Monad<Maybe>
+                   [=func (dict;get +0 env)
+                    =args (mapM @ (;function [t-arg]
+                                    (case t-arg
+                                      (#;Bound idx)
+                                      (dict;get (adjusted-idx env idx) env)
+
+                                      _
+                                      #;None))
+                                t-args)]
+                   (wrap (` ((~ (product;right =func)) (~@ (List/map product;right =args))))))
+                 (#;Some call)])
         (wrap call)
 
         _
@@ -286,8 +286,8 @@
   (-> Env Nat (Matcher Unit))
   (;function [:type:]
     (case :type:
-      (^=> (#;Bound idx)
-           (n.= var-id (adjusted-idx env idx)))
+      (^multi (#;Bound idx)
+              (n.= var-id (adjusted-idx env idx)))
       (:: macro;Monad<Lux> wrap [])
 
       _
@@ -353,9 +353,9 @@
             (#;Some name)
             (wrap name)
 
-            (^=> #;None
-                 [(derivation-name (product;right poly-func) (List/map product;right poly-args))
-                  (#;Some derived-name)])
+            (^multi #;None
+                    [(derivation-name (product;right poly-func) (List/map product;right poly-args))
+                     (#;Some derived-name)])
             (wrap derived-name)
 
             _