diff options
| author | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
| commit | 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (patch) | |
| tree | 14bc8b5abe09b46ef005c3ff7cf132f1d98ddf0d /stdlib/source/test/aedifex/artifact/time | |
| parent | dda05bca0956af5e5b3875c4cc36e61aa04772e4 (diff) | |
Re-named \ => # && \\ => ##
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/time.lux | 10 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/time/date.lux | 10 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/time/time.lux | 4 |
3 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index 9cfefe6f6..af64231ab 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -7,11 +7,11 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]\[0]" functor)] + ["[0]" try ("[1]#[0]" functor)] [parser ["<[0]>" text]]] [time - ["[0]" instant ("[1]\[0]" equivalence)]] + ["[0]" instant ("[1]#[0]" equivalence)]] [math ["[0]" random {"+" [Random]}] [number @@ -43,7 +43,7 @@ (|> expected /.format (<text>.result /.parser) - (try\each (\ /.equivalence = expected)) + (try#each (# /.equivalence = expected)) (try.else false)))) (do random.monad [expected ..random] @@ -51,10 +51,10 @@ (|> expected /.instant /.of_instant - (try\each (\ /.equivalence = expected)) + (try#each (# /.equivalence = expected)) (try.else false)))) (_.cover [/.epoch] - (instant\= instant.epoch (/.instant /.epoch))) + (instant#= instant.epoch (/.instant /.epoch))) /date.test /time.test diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index b32787d49..85f6b69f5 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]\[0]" functor)] + ["[0]" try ("[1]#[0]" functor)] ["[0]" exception] [parser ["<[0]>" text]]] @@ -17,7 +17,7 @@ ["n" nat] ["i" int]]] [time - ["[0]" date ("[1]\[0]" equivalence)] + ["[0]" date ("[1]#[0]" equivalence)] ["[0]" year]]]] [\\program ["[0]" /]]) @@ -49,13 +49,13 @@ (|> expected /.format (<text>.result /.parser) - (try\each (\ /.equivalence = expected)) + (try#each (# /.equivalence = expected)) (try.else false))) (_.cover [/.value /.date] (|> expected /.value /.date - (try\each (\ /.equivalence = expected)) + (try#each (# /.equivalence = expected)) (try.else false))) (_.cover [/.year_is_out_of_range] (case (/.date candidate) @@ -65,5 +65,5 @@ {try.#Failure error} (exception.match? /.year_is_out_of_range error))) (_.cover [/.epoch] - (date\= date.epoch (/.value /.epoch))) + (date#= date.epoch (/.value /.epoch))) )))) diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index c908eb69b..983e81210 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -6,7 +6,7 @@ [abstract [monad {"+" [do]}]] [control - ["[0]" try ("[1]\[0]" functor)] + ["[0]" try ("[1]#[0]" functor)] [parser ["<[0]>" text]]] [math @@ -35,6 +35,6 @@ (|> expected /.format (<text>.result /.parser) - (try\each (\ time.equivalence = expected)) + (try#each (# time.equivalence = expected)) (try.else false)))) ))) |