aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/security/capability.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/control/security/capability.lux10
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux
index e422ba4ed..bdcc86586 100644
--- a/stdlib/source/library/lux/control/security/capability.lux
+++ b/stdlib/source/library/lux/control/security/capability.lux
@@ -18,7 +18,7 @@
["<[1]>" \\parser]]
["[0]" macro (.only)
[syntax (.only syntax)
- ["|[0]|" export]
+ ["[0]" export]
["|[0]|" declaration]]]
[type
["[0]" primitive (.except def)]]]]])
@@ -35,10 +35,10 @@
(def .public capability
(syntax (_ [[export_policy declaration [forger input output]]
- (|export|.parser
- (all <>.and
- |declaration|.parser
- (<code>.form (all <>.and <code>.local <code>.any <code>.any))))])
+ (export.with
+ (all <>.and
+ |declaration|.parser
+ (<code>.form (all <>.and <code>.local <code>.any <code>.any))))])
(macro.with_symbols [g!_]
(do [! meta.monad]
[this_module meta.current_module_name