diff options
| author | Eduardo Julian | 2021-09-13 00:29:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-13 00:29:57 -0400 |
| commit | 376c3e472fbb1e2656f8c61b26e0276570609aa1 (patch) | |
| tree | bc76d7aeff4f2b889ae262a64dc8d26b0476068d /stdlib/source/test/aedifex/artifact/time | |
| parent | 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (diff) | |
Updated only/except import syntax to take into account record => variant syntax change.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/time.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/time/date.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/time/time.lux | 6 |
3 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index af64231ab..7f693d91a 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -13,7 +13,7 @@ [time ["[0]" instant ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["i" int]]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index 85f6b69f5..ce4ca415a 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -12,7 +12,7 @@ [parser ["<[0]>" text]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["i" int]]] diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index 983e81210..92d2c47ea 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -1,16 +1,16 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" time] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try ("[1]#[0]" functor)] [parser ["<[0]>" text]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["i" int]]]]] |