More traditional names for unquoting macros.

2 files changed, 12 insertions, 12 deletions

diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux
index 2a8627855..1a2cb4ed3 100644
--- a/stdlib/source/library/lux/control/security/capability.lux
+++ b/stdlib/source/library/lux/control/security/capability.lux
@@ -52,15 +52,15 @@
            .let [[name vars] declaration]
            g!brand (at ! each (|>> %.code code.text)
                        (macro.symbol (format (%.symbol [this_module name]))))
-           .let [capability (` (..Capability (.Primitive (~ g!brand)) (~ input) (~ output)))]]
-          (in (list (` (type (~ export_policy)
-                         (~ (|declaration|.format declaration))
-                         (~ capability)))
-                    (` (def (~ (code.local forger))
-                         (All ((~ g!_) (~+ (list#each code.local vars)))
-                           (-> (-> (~ input) (~ output))
-                               (~ capability)))
-                         (~! ..capability)))
+           .let [capability (` (..Capability (.Primitive (, g!brand)) (, input) (, output)))]]
+          (in (list (` (type (, export_policy)
+                         (, (|declaration|.format declaration))
+                         (, capability)))
+                    (` (def (, (code.local forger))
+                         (All ((, g!_) (,* (list#each code.local vars)))
+                           (-> (-> (, input) (, output))
+                               (, capability)))
+                         (,! ..capability)))
                     ))))))
 
   (def .public (async capability)
diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux
index 2aa55af59..58c895a05 100644
--- a/stdlib/source/library/lux/control/security/policy.lux
+++ b/stdlib/source/library/lux/control/security/policy.lux
@@ -56,13 +56,13 @@
                     (constructor (All (_ value) (Policy brand value label))))))
 
   (def .public functor
-    (~ (..of_policy Functor))
+    (, (..of_policy Functor))
     (implementation
      (def (each f fa)
        (|> fa representation f abstraction))))
 
   (def .public apply
-    (~ (..of_policy Apply))
+    (, (..of_policy Apply))
     (implementation
      (def functor ..functor)
      
@@ -70,7 +70,7 @@
        (abstraction ((representation ff) (representation fa))))))
 
   (def .public monad
-    (~ (..of_policy Monad))
+    (, (..of_policy Monad))
     (implementation
      (def functor ..functor)
      (def in (|>> abstraction))