From 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 16 Jun 2022 00:48:19 -0400 Subject: De-sigil-ification: suffix : [Part 13] --- stdlib/source/test/aedifex/artifact/snapshot/build.lux | 4 ++-- stdlib/source/test/aedifex/artifact/snapshot/stamp.lux | 4 ++-- stdlib/source/test/aedifex/artifact/snapshot/time.lux | 4 ++-- stdlib/source/test/aedifex/artifact/snapshot/version.lux | 4 ++-- stdlib/source/test/aedifex/artifact/snapshot/version/value.lux | 4 ++-- 5 files changed, 10 insertions(+), 10 deletions(-) (limited to 'stdlib/source/test/aedifex/artifact/snapshot') diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index 71024f4d0..f6224dd0b 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -15,11 +15,11 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Build) random.nat) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Build] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index ae1ffb7a5..c24a06f5a 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -20,14 +20,14 @@ ["[1][0]" time] ["[1][0]" build]]) -(def: .public random +(def .public random (Random /.Stamp) (all random.and $//time.random $//build.random )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Stamp]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index a26532ce1..3b6136ce9 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -18,11 +18,11 @@ ["$[0]" /// ["[1][0]" time]]) -(def: .public random +(def .public random (Random /.Time) $///time.random) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Time]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index c5c8f0e71..d2a3e01e4 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -20,7 +20,7 @@ ["[1][0]" type] ["[1][0]" time]]) -(def: .public random +(def .public random (Random /.Version) (all random.and $///type.random @@ -28,7 +28,7 @@ $///time.random )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Version]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 5fcef9a0c..0c63a2215 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -27,7 +27,7 @@ ["[1][0]" stamp] ["[1][0]" time]]]]) -(def: .public random +(def .public random (Random /.Value) (all random.and (random.alphabetic 5) @@ -35,7 +35,7 @@ $///stamp.random) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Value]) -- cgit v1.2.3