diff options
| author | Eduardo Julian | 2021-08-12 03:12:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-12 03:12:42 -0400 |
| commit | 17629d66062b88b040a2397032f6c08361a5f3a7 (patch) | |
| tree | bdc6110750b895667b9e45da5e46bec9609f9a7c /stdlib/source/library/lux/control/security | |
| parent | a62ce3f9c2b605e0033f4772b0f64c4525de4d86 (diff) | |
Improved binding syntax for "syntax:".
Diffstat (limited to 'stdlib/source/library/lux/control/security')
| -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) |