From 571d816dfd0b056a1649f5057867abbfa4421f5d Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 4 Feb 2021 01:30:34 -0400 Subject: Updates for Lua compiler. --- stdlib/source/test/aedifex/artifact/versioning.lux | 24 +++++++++++++++------- 1 file changed, 17 insertions(+), 7 deletions(-) (limited to 'stdlib/source/test/aedifex/artifact') 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) - (.run (/.parser version)) + /.format + list + (.run /.parser) (try\map (\ /.equivalence = expected)) (try.default false)))) + (_.cover [/.init] + (|> /.init + /.format + list + (.run /.parser) + (try\map (\ /.equivalence = /.init)) + (try.default false))) ))) -- cgit v1.2.3