diff options
Diffstat (limited to 'stdlib/source/test/lux/control/security/policy.lux')
-rw-r--r-- | stdlib/source/test/lux/control/security/policy.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux index b49d04df9..ba2e62ed5 100644 --- a/stdlib/source/test/lux/control/security/policy.lux +++ b/stdlib/source/test/lux/control/security/policy.lux @@ -19,13 +19,13 @@ ["." / (#+ Context Privacy Can_Conceal Can_Reveal Privilege Private)]]) (def: (injection can_conceal) - (All [label] - (-> (Can_Conceal label) (Injection (All [value] (Private value label))))) + (All (_ label) + (-> (Can_Conceal label) (Injection (All (_ value) (Private value label))))) can_conceal) (def: (comparison can_reveal) - (All [label] - (-> (Can_Reveal label) (Comparison (All [value] (Private value label))))) + (All (_ label) + (-> (Can_Reveal label) (Comparison (All (_ value) (Private value label))))) (function (_ == left right) (== (can_reveal left) (can_reveal right)))) @@ -45,7 +45,7 @@ privilege))) (def: (policy _) - (Ex [%] (-> Any (Policy %))) + (Ex (_ %) (-> Any (Policy %))) (/.with_policy (: (Context Privacy Policy) (function (_ (^@ privilege (^open "%\."))) |