aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
authorEduardo Julian2020-08-10 02:29:18 -0400
committerEduardo Julian2020-08-10 02:29:18 -0400
commit56fa0ab84c1112ea297c46814e580ca8d11b101e (patch)
treef6a4eeb3032ef86ab916c69b0a2de7865ffb087b /stdlib/source/test
parentf79e39de3f605695a33acadf751be498f552930b (diff)
Improved naming when evaluating code on the host platform.
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/control.lux4
-rw-r--r--stdlib/source/test/lux/control/security/capability.lux45
-rw-r--r--stdlib/source/test/lux/world/file.lux5
3 files changed, 51 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/control.lux b/stdlib/source/test/lux/control.lux
index b3e55e901..50e737e98 100644
--- a/stdlib/source/test/lux/control.lux
+++ b/stdlib/source/test/lux/control.lux
@@ -34,7 +34,8 @@
["#." region]
["#." remember]
[security
- ["#." policy]]
+ ["#." policy]
+ ["#." capability]]
["#." state]
["#." thread]
["#." try]
@@ -81,6 +82,7 @@
Test
($_ _.and
/policy.test
+ /capability.test
))
(def: #export test
diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux
new file mode 100644
index 000000000..b102c6a33
--- /dev/null
+++ b/stdlib/source/test/lux/control/security/capability.lux
@@ -0,0 +1,45 @@
+(.module:
+ [lux #*
+ ["_" test (#+ Test)]
+ [abstract
+ [monad (#+ do)]]
+ [control
+ ["." io (#+ IO)]
+ [concurrency
+ ["." promise]]]
+ [data
+ [number
+ ["n" nat]]]
+ [math
+ ["." random]]]
+ {1
+ ["." /]})
+
+(/.capability: (Can-Shift a)
+ (can-shift [a Nat] [a Nat]))
+
+(/.capability: Can-IO
+ (can-io [] (IO Nat)))
+
+(def: #export test
+ Test
+ (<| (_.covering /._)
+ (do random.monad
+ [shift random.nat
+ base random.nat
+ #let [expected (n.+ shift base)]
+ pass-through (random.ascii 1)]
+ (_.with-cover [/.Capability]
+ ($_ _.and
+ (_.cover [/.capability: /.use]
+ (let [capability (..can-shift (function (_ [no-op raw])
+ [no-op (n.+ shift raw)]))
+ [untouched actual] (/.use capability [pass-through base])]
+ (and (is? pass-through untouched)
+ (n.= expected actual))))
+ (wrap (let [capability (..can-io (function (_ _) (io.io expected)))]
+ (do promise.monad
+ [actual (/.use (/.async capability) [])]
+ (_.claim [/.async]
+ (n.= expected actual)))))
+ )))))
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index 5f8d03273..0fd4d76f3 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -73,6 +73,7 @@
dataL (_binary.binary file-size)
dataR (_binary.binary file-size)
new-modified (|> r.int (:: @ map (|>> i.abs
+ (i.% +10,000,000,000,000)
truncate-millis
duration.from-millis
instant.absolute)))]
@@ -170,9 +171,9 @@
[file (!.use (:: /.system create-file) path)
_ (!.use (:: file over-write) dataL)
_ (!.use (:: file modify) new-modified)
- old-modified (!.use (:: file last-modified) [])
+ current-modified (!.use (:: file last-modified) [])
_ (!.use (:: file delete) [])]
- (wrap (:: instant.equivalence = new-modified old-modified))))]
+ (wrap (:: instant.equivalence = new-modified current-modified))))]
(_.assert "Can change the time of last modification."
(try.default #0 result))))
(wrap (do promise.monad