diff options
| author | Eduardo Julian | 2021-09-08 17:52:13 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-08 17:52:13 -0400 |
| commit | 9ae7272d50b64dc9c8651e7a684abc007d4f2caf (patch) | |
| tree | 3313492704935d230a88d17b621e84bd09a6451c /stdlib/source/library/lux/control/security | |
| parent | 18e4294819f5d4adafad091bdc5a30c25959ad2f (diff) | |
Post annotations clean-up.
Diffstat (limited to 'stdlib/source/library/lux/control/security')
| -rw-r--r-- | stdlib/source/library/lux/control/security/capability.lux | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux index 5d7ff9ebb..4bdab69c1 100644 --- a/stdlib/source/library/lux/control/security/capability.lux +++ b/stdlib/source/library/lux/control/security/capability.lux @@ -21,8 +21,7 @@ ["[0]" code] [syntax {"+" [syntax:]} ["|[0]|" export] - ["|[0]|" declaration] - ["|[0]|" annotations]]]]]) + ["|[0]|" declaration]]]]]) (abstract: .public (Capability brand input output) (-> input output) @@ -40,11 +39,10 @@ output)) ((:representation capability) input)) - (syntax: .public (capability: [[export_policy declaration annotations [forger input output]] + (syntax: .public (capability: [[export_policy declaration [forger input output]] (|export|.parser ($_ <>.and |declaration|.parser - (<>.maybe |annotations|.parser) (<c>.form ($_ <>.and <c>.local_identifier <c>.any <c>.any))))]) (macro.with_identifiers [g!_] (do [! meta.monad] |