diff options
author | Eduardo Julian | 2021-06-11 02:48:13 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-06-11 02:48:13 -0400 |
commit | 8f575da5095e3b259d4eb6b6f13d3e37ef1d38e4 (patch) | |
tree | d4ad0bf5582637395508b4a260491373d55e760b /stdlib/source/test/aedifex/artifact/time/time.lux | |
parent | 486488ae17007406a6c90f182b85f7be14b6b373 (diff) |
Added import name formatting to "import:" macros for other backends.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/artifact/time/time.lux | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index bd9bbe071..cd70d1c83 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -1,7 +1,7 @@ (.module: [lux #* ["_" test (#+ Test)] - ["." time (#+ Time)] + ["." time] [abstract [monad (#+ do)]] [control @@ -16,12 +16,18 @@ {#program ["." /]}) +(def: #export random + (Random /.Time) + (random.one (|>> time.clock (set@ #time.milli_second 0) time.time) + random.time)) + (def: #export test Test (<| (_.covering /._) + (_.for [/.Time]) ($_ _.and (do random.monad - [expected random.time] + [expected ..random] (_.cover [/.format /.parser] (|> expected /.format |