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/snapshot/version | |
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/snapshot/version.lux | 6 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/artifact/snapshot/version/value.lux | 8 |
2 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index 367ddfe93..b798f67ea 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" xml]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\program ["[0]" /]] ["[0]" / "_" diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 156c403d7..d00dc53b7 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -12,9 +12,9 @@ ["<[0]>" text]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat] ["i" int]]] |