From 24986506e8beb5074f6aca048506389e90e196bd Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 15 Jun 2022 22:39:01 -0400 Subject: De-sigil-ification: suffix : [Part 12] --- stdlib/source/library/lux/control/security/capability.lux | 2 +- stdlib/source/library/lux/control/security/policy.lux | 4 ++-- 2 files changed, 3 insertions(+), 3 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 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 [ ] - [(primitive: .public + [(primitive .public Any (type: .public -- cgit v1.2.3