diff options
| author | Eduardo Julian | 2022-06-15 22:39:01 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-15 22:39:01 -0400 |
| commit | 24986506e8beb5074f6aca048506389e90e196bd (patch) | |
| tree | 0a8cb4b806c9dce44c58d57a3d1a4c8020da4dc9 /stdlib/source/library/lux/control/security | |
| parent | 38328f38b6904a884411835afa0066d0f9c503e7 (diff) | |
De-sigil-ification: suffix : [Part 12]
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 | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux index 90c98a89e..482f61161 100644 --- a/stdlib/source/library/lux/control/security/capability.lux +++ b/stdlib/source/library/lux/control/security/capability.lux @@ -23,7 +23,7 @@ ["|[0]|" export] ["|[0]|" declaration]]]]]) -(primitive: .public (Capability brand input output) +(primitive .public (Capability brand input output) (-> input output) (def: capability diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux index 2328915f6..f8856c593 100644 --- a/stdlib/source/library/lux/control/security/policy.lux +++ b/stdlib/source/library/lux/control/security/policy.lux @@ -8,7 +8,7 @@ [type [primitive (.except)]]]]) -(primitive: .public (Policy brand value label) +(primitive .public (Policy brand value label) value (type: .public (Can_Upgrade brand label value) @@ -77,7 +77,7 @@ ) (with_template [<brand> <value> <upgrade> <downgrade>] - [(primitive: .public <brand> + [(primitive .public <brand> Any (type: .public <value> |