From fb46beb8bd784ba92949bf2c535dc13c2f003ef0 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 25 Jun 2022 20:24:43 -0400
Subject: De-sigil-ification: suffix : [Part 15]

---
 .../library/lux/control/security/capability.lux      |  2 +-
 .../source/library/lux/control/security/policy.lux   | 20 ++++++++++----------
 2 files changed, 11 insertions(+), 11 deletions(-)

(limited to 'stdlib/source/library/lux/control/security')

diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux
index 24cb094d7..0164bcc7b 100644
--- a/stdlib/source/library/lux/control/security/capability.lux
+++ b/stdlib/source/library/lux/control/security/capability.lux
@@ -52,7 +52,7 @@
            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)
+          (in (list (` (type (~ export_policy)
                          (~ (|declaration|.format declaration))
                          (~ capability)))
                     (` (def (~ (code.local forger))
diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux
index 923d28db1..963f0377f 100644
--- a/stdlib/source/library/lux/control/security/policy.lux
+++ b/stdlib/source/library/lux/control/security/policy.lux
@@ -11,18 +11,18 @@
 (primitive .public (Policy brand value label)
   value
 
-  (type: .public (Can_Upgrade brand label value)
+  (type .public (Can_Upgrade brand label value)
     (-> value (Policy brand value label)))
 
-  (type: .public (Can_Downgrade brand label value)
+  (type .public (Can_Downgrade brand label value)
     (-> (Policy brand value label) value))
 
-  (type: .public (Privilege brand label)
+  (type .public (Privilege brand label)
     (Record
      [#can_upgrade (Can_Upgrade brand label)
       #can_downgrade (Can_Downgrade brand label)]))
 
-  (type: .public (Delegation brand from to)
+  (type .public (Delegation brand from to)
     (All (_ value)
       (-> (Policy brand value from)
           (Policy brand value to))))
@@ -33,7 +33,7 @@
           (Delegation brand from to)))
     (|>> downgrade upgrade))
 
-  (type: .public (Context brand scope label)
+  (type .public (Context brand scope label)
     (-> (Privilege brand label)
         (scope label)))
 
@@ -51,8 +51,8 @@
 
   (def (of_policy constructor)
     (-> Type Type)
-    (type (All (_ brand label)
-            (constructor (All (_ value) (Policy brand value label))))))
+    (type_literal (All (_ brand label)
+                    (constructor (All (_ value) (Policy brand value label))))))
 
   (def .public functor
     (~ (..of_policy Functor))
@@ -80,13 +80,13 @@
   [(primitive .public <brand>
      Any
 
-     (type: .public <value>
+     (type .public <value>
        (Policy <brand>))
      
-     (type: .public <upgrade>
+     (type .public <upgrade>
        (Can_Upgrade <brand>))
      
-     (type: .public <downgrade>
+     (type .public <downgrade>
        (Can_Downgrade <brand>))
      )]
 
-- 
cgit v1.2.3