diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/control/security/capability.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux index bf689a80c..cebf0534e 100644 --- a/stdlib/source/library/lux/control/security/capability.lux +++ b/stdlib/source/library/lux/control/security/capability.lux @@ -44,12 +44,12 @@ output)) ((:representation capability) input)) - (syntax: .public (capability: {[export_policy declaration annotations [forger input output]] + (syntax: .public (capability: [[export_policy declaration annotations [forger input output]] (|export|.parser ($_ <>.and |declaration|.parser (<>.maybe |annotations|.parser) - (<c>.form ($_ <>.and <c>.local_identifier <c>.any <c>.any))))}) + (<c>.form ($_ <>.and <c>.local_identifier <c>.any <c>.any))))]) {#.doc (example "Defines a capability as a unique type, and a constructor for instances." (capability: (Can_Duplicate a) |