diff options
| author | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
| commit | fb46beb8bd784ba92949bf2c535dc13c2f003ef0 (patch) | |
| tree | 28dbec5e8e6a1307a5aee28772d9aa897349bc57 /stdlib/source/library/lux/control/security | |
| parent | a384e0c9426d6110fa4c104a1327808a0aff91b0 (diff) | |
De-sigil-ification: suffix : [Part 15]
Diffstat (limited to 'stdlib/source/library/lux/control/security')
| -rw-r--r-- | stdlib/source/library/lux/control/security/capability.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/library/lux/control/security/policy.lux | 20 |
2 files changed, 11 insertions, 11 deletions
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>)) )] |