diff options
| author | Eduardo Julian | 2021-06-30 23:24:55 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-06-30 23:24:55 -0400 |
| commit | 744ee69630de59ca3ba660b0aab6361cd17ce1b4 (patch) | |
| tree | 329c11b8c3522c319c99ebd4d7c51ee0e7464bae /stdlib/source/test/lux/control/security/policy.lux | |
| parent | 6633cd42f2892ea71530ddeeb93a7e7c0b59faa3 (diff) | |
"signature:" -> "interface:" & "structure:" -> "implementation:"
"signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/control/security/policy.lux | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux index 9c72304d9..c4c0657e7 100644 --- a/stdlib/source/test/lux/control/security/policy.lux +++ b/stdlib/source/test/lux/control/security/policy.lux @@ -35,7 +35,7 @@ (type: Password (Private Text)) -(signature: (Policy %) +(interface: (Policy %) (: (Hash (Password %)) &hash) @@ -50,13 +50,14 @@ (/.with_policy (: (Context Privacy Policy) (function (_ (^@ privilege (^open "%\."))) - (structure + (implementation (def: &hash - (structure + (implementation (def: &equivalence - (structure (def: (= reference sample) - (text\= (!.use %\can_downgrade reference) - (!.use %\can_downgrade sample))))) + (implementation + (def: (= reference sample) + (text\= (!.use %\can_downgrade reference) + (!.use %\can_downgrade sample))))) (def: hash (|>> (!.use %\can_downgrade) (\ text.hash hash))))) |