diff options
author | Eduardo Julian | 2019-07-26 21:23:27 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-07-26 21:23:27 -0400 |
commit | a0889b2ee76c1ae7a9a5bbe2eec9f051b4f341e4 (patch) | |
tree | 08df3db7f8fffad6360a476d20db1d40b36c85cb /stdlib/source/test/lux/control/security/policy.lux | |
parent | 78fd01f7e6688448bbd710336d4d7b1c35ae058a (diff) |
No more "n/"-prefixed functions.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/control/security/policy.lux | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux index edbacddd6..6aebf504b 100644 --- a/stdlib/source/test/lux/control/security/policy.lux +++ b/stdlib/source/test/lux/control/security/policy.lux @@ -15,7 +15,9 @@ ["!" capability]]] [data ["." name] - ["." text ("#@." equivalence)]] + ["." text ("#@." equivalence)] + [number + ["n" nat]]] [math ["r" random]]] {1 @@ -81,7 +83,7 @@ (_.test "Can work with private values under the same label." (and (:: policy-0 = password password) - (n/= (:: text.hash hash raw-password) + (n.= (:: text.hash hash raw-password) (:: policy-0 hash password)))) (let [policy-1 (policy []) delegate (/.delegation (:: policy-0 can-downgrade) (:: policy-1 can-upgrade))] |