diff options
author | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
commit | 3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 (patch) | |
tree | 9dde4f6cb8f16829b2fa43fbccffaa1b3e2659bd /stdlib/source/test/aedifex/dependency/status.lux | |
parent | 0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 (diff) |
Extensible import syntax [Part 4]
Diffstat (limited to 'stdlib/source/test/aedifex/dependency/status.lux')
-rw-r--r-- | stdlib/source/test/aedifex/dependency/status.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux index ca0f9002d..9b5f089f1 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -7,15 +7,15 @@ [\\specification ["$[0]" equivalence]]] [data - ["[0]" binary "_" + ["[0]" binary ["[1]T" \\test]]] [math ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] - ["$[0]" /// "_" + ["$[0]" /// ["[1][0]" hash]] [\\program - ["[0]" / - ["//[1]" /// "_" + ["[0]" / (.only) + ["//[1]" /// ["[1][0]" hash]]]]) (def: .public random |