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/lux/data/collection/set | |
parent | 17e7566be51df5e428a6b10e6469201a8a9468da (diff) |
No more #export magic syntax.
Diffstat (limited to 'stdlib/source/test/lux/data/collection/set')
-rw-r--r-- | stdlib/source/test/lux/data/collection/set/multi.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/collection/set/ordered.lux | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index 37645cbed..888ea2623 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -25,7 +25,7 @@ (Random Nat) (\ random.monad map (|>> (n.% 10) inc) random.nat)) -(def: #export (random size hash count element) +(def: .public (random size hash count element) (All [a] (-> Nat (Hash a) (Random Nat) (Random a) (Random (/.Set a)))) (do {! random.monad} [elements (random.set hash size element) @@ -108,7 +108,7 @@ common_changes!))) )))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Set]) diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 620a63289..260d6ee39 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -23,7 +23,7 @@ (random.Random Nat) (\ random.monad map (n.% 100) random.nat)) -(def: #export (random size &order gen_value) +(def: .public (random size &order gen_value) (All [a] (-> Nat (Order a) (Random a) (Random (Set a)))) (case size 0 @@ -36,7 +36,7 @@ gen_value)] (in (/.add value partial))))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Set]) |