aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/security
diff options
context:
space:
mode:
authorEduardo Julian2021-09-13 00:29:57 -0400
committerEduardo Julian2021-09-13 00:29:57 -0400
commit376c3e472fbb1e2656f8c61b26e0276570609aa1 (patch)
treebc76d7aeff4f2b889ae262a64dc8d26b0476068d /stdlib/source/library/lux/control/security
parent2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (diff)
Updated only/except import syntax to take into account record => variant syntax change.
Diffstat (limited to 'stdlib/source/library/lux/control/security')
-rw-r--r--stdlib/source/library/lux/control/security/capability.lux10
-rw-r--r--stdlib/source/library/lux/control/security/policy.lux6
2 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux
index 18696f851..3fcf0fe3c 100644
--- a/stdlib/source/library/lux/control/security/capability.lux
+++ b/stdlib/source/library/lux/control/security/capability.lux
@@ -2,16 +2,16 @@
[library
[lux "*"
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- ["[0]" io {"+" [IO]}]
+ ["[0]" io {"+" IO}]
["<>" parser
["<c>" code]]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
[text
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" functor)]]]
[type
@@ -19,7 +19,7 @@
["[0]" meta]
["[0]" macro
["[0]" code]
- [syntax {"+" [syntax:]}
+ [syntax {"+" syntax:}
["|[0]|" export]
["|[0]|" declaration]]]]])
diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux
index 7b15e4210..ccf32788d 100644
--- a/stdlib/source/library/lux/control/security/policy.lux
+++ b/stdlib/source/library/lux/control/security/policy.lux
@@ -2,9 +2,9 @@
[library
[lux "*"
[abstract
- [functor {"+" [Functor]}]
- [apply {"+" [Apply]}]
- [monad {"+" [Monad]}]]
+ [functor {"+" Functor}]
+ [apply {"+" Apply}]
+ [monad {"+" Monad}]]
[type
abstract]]])