diff options
author | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
commit | f621a133e6e0a516c0586270fea8eaffb4829d82 (patch) | |
tree | 399396ee2f6a10df10cea9b78c51c76679b70e59 /stdlib/source/test/aedifex/artifact/type.lux | |
parent | 17e7566be51df5e428a6b10e6469201a8a9468da (diff) |
No more #export magic syntax.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/artifact/type.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index b34db299c..be1fdfc80 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -16,7 +16,7 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Type) ($_ random.either ($_ random.either @@ -28,7 +28,7 @@ (random\in /.sha-1)) )) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Type] |