aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex
diff options
context:
space:
mode:
authorEduardo Julian2021-02-04 01:30:34 -0400
committerEduardo Julian2021-02-04 01:30:34 -0400
commit571d816dfd0b056a1649f5057867abbfa4421f5d (patch)
treecccd86f9285bf4956d6b50aea669ad4e9e15ee13 /stdlib/source/test/aedifex
parent3d457763e34d4dd1992427b3918b351ac684adb7 (diff)
Updates for Lua compiler.
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux24
1 files changed, 17 insertions, 7 deletions
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index c0704440e..ab0e94236 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -13,14 +13,17 @@
[math
["." random (#+ Random)]]]
{#program
- ["." /]})
+ ["." /]}
+ ["$." // #_
+ ["#." snapshot
+ ["#/." version]]])
(def: #export random
(Random /.Versioning)
($_ random.and
+ $//snapshot.random
random.instant
- random.nat
- (random.list 5 (random.ascii/lower_alpha 3))
+ (random.list 5 $//snapshot/version.random)
))
(def: #export test
@@ -32,12 +35,19 @@
($equivalence.spec /.equivalence ..random))
(do random.monad
- [expected ..random
- version (random.ascii/upper_alpha 3)]
+ [expected ..random]
(_.cover [/.format /.parser]
(|> expected
- (/.format version)
- (<xml>.run (/.parser version))
+ /.format
+ list
+ (<xml>.run /.parser)
(try\map (\ /.equivalence = expected))
(try.default false))))
+ (_.cover [/.init]
+ (|> /.init
+ /.format
+ list
+ (<xml>.run /.parser)
+ (try\map (\ /.equivalence = /.init))
+ (try.default false)))
)))