diff options
author | Eduardo Julian | 2020-12-10 00:15:15 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-12-10 00:15:15 -0400 |
commit | 14287585025b2d8fff1991691def9e643b039ac8 (patch) | |
tree | 4fdbe2aafa907d1dd0f47150c545adf3eabeb124 /stdlib/source/test/lux/data/collection/dictionary/ordered.lux | |
parent | 893c76ad530ca0e81cd84602543c3114407f4592 (diff) |
Re-named "with-cover" to "for".
Diffstat (limited to 'stdlib/source/test/lux/data/collection/dictionary/ordered.lux')
-rw-r--r-- | stdlib/source/test/lux/data/collection/dictionary/ordered.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 01920fa1c..1553f2266 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -40,7 +40,7 @@ (def: #export test Test (<| (_.covering /._) - (_.with-cover [/.Dictionary]) + (_.for [/.Dictionary]) (do {! random.monad} [size (\ ! map (n.% 100) random.nat) keys (random.set n.hash size random.nat) @@ -62,8 +62,8 @@ (n.= vr vs))))) (^open "/\.") (/.equivalence n.equivalence)]] ($_ _.and - (_.with-cover [/.equivalence] - ($equivalence.spec (/.equivalence n.equivalence) (..dictionary n.order random.nat random.nat size))) + (_.for [/.equivalence] + ($equivalence.spec (/.equivalence n.equivalence) (..dictionary n.order random.nat random.nat size))) (_.cover [/.size] (n.= size (/.size sample))) |