diff options
| author | Eduardo Julian | 2020-12-29 00:38:21 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-12-29 00:38:21 -0400 |
| commit | 832a9361b632331e82a64c07baa560487ca8abde (patch) | |
| tree | 5fec882399315def4d789ecef1746d90e761df93 /stdlib/source/test/lux/control/security | |
| parent | 92dca9f487c625d27f6c291784ef709b0cc13a72 (diff) | |
Moved "lux/data/number" to "lux/math/number".
Diffstat (limited to 'stdlib/source/test/lux/control/security')
| -rw-r--r-- | stdlib/source/test/lux/control/security/capability.lux | 7 | ||||
| -rw-r--r-- | stdlib/source/test/lux/control/security/policy.lux | 8 |
2 files changed, 7 insertions, 8 deletions
diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux index 50a2d04d8..7804cda68 100644 --- a/stdlib/source/test/lux/control/security/capability.lux +++ b/stdlib/source/test/lux/control/security/capability.lux @@ -7,11 +7,10 @@ ["." io (#+ IO)] [concurrency ["." promise]]] - [data - [number - ["n" nat]]] [math - ["." random]]] + ["." random] + [number + ["n" nat]]]] {1 ["." /]}) diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux index 55e928d52..9c72304d9 100644 --- a/stdlib/source/test/lux/control/security/policy.lux +++ b/stdlib/source/test/lux/control/security/policy.lux @@ -13,11 +13,11 @@ [security ["!" capability]]] [data - ["." text ("#\." equivalence)] - [number - ["n" nat]]] + ["." text ("#\." equivalence)]] [math - ["." random]]] + ["." random] + [number + ["n" nat]]]] {1 ["." / (#+ Context Privacy Can_Conceal Can_Reveal Privilege Private)]}) |