diff options
| author | Eduardo Julian | 2022-10-24 19:28:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-10-24 19:28:57 -0400 |
| commit | 8d4c256f8b56561869c14df02db695d774c74fa6 (patch) | |
| tree | 3acdc7e92008bbe8a74e84610ea4daebd292678a /stdlib/source/library/lux/control/security | |
| parent | 45c599e49ae2659331d13222948f7e755967fdf9 (diff) | |
Minor naming & syntax improvements.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/control/security/capability.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/library/lux/control/security/policy.lux | 6 |
2 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 48323d842..e422ba4ed 100644 --- a/stdlib/source/library/lux/control/security/capability.lux +++ b/stdlib/source/library/lux/control/security/capability.lux @@ -21,9 +21,9 @@ ["|[0]|" export] ["|[0]|" declaration]]] [type - [primitive (.except)]]]]]) + ["[0]" primitive (.except def)]]]]]) -(primitive .public (Capability brand input output) +(primitive.def .public (Capability brand input output) (-> input output) (def .public (use it input) diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux index 58c895a05..8bd2e9a45 100644 --- a/stdlib/source/library/lux/control/security/policy.lux +++ b/stdlib/source/library/lux/control/security/policy.lux @@ -7,9 +7,9 @@ [monad (.only Monad)]] [meta [type - [primitive (.except)]]]]]) + ["[0]" primitive (.except def)]]]]]) -(primitive .public (Policy brand value label) +(primitive.def .public (Policy brand value label) value (type .public (Can_Upgrade brand label value) @@ -78,7 +78,7 @@ ) (with_template [<brand> <value> <upgrade> <downgrade>] - [(primitive .public <brand> + [(primitive.def .public <brand> Any (type .public <value> |