diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/data/text/encoding.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index 12be514b8..a3686fc6a 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -189,35 +189,35 @@ [])] <encodings>)] - (def: all_encodings + (def all_encodings (list.together (list <named>))) - (def: unique_encodings + (def unique_encodings (list#mix (function (_ encoding set) (set.has (/.name encoding) set)) (set.empty text.hash) ..all_encodings)) - (def: verdict + (def verdict (n.= (list.size ..all_encodings) (set.size ..unique_encodings))) (with_template [<definition> <by_letter>] - [(def: <definition> + [(def <definition> Test (`` (_.coverage [/.name (~~ (template.spliced <by_letter>))] ..verdict)))] <encodings>) - (def: .public random + (def .public random (Random /.Encoding) (let [options (list.size ..all_encodings)] (do [! random.monad] [choice (at ! each (n.% options) random.nat)] (in (maybe.trusted (list.item choice ..all_encodings)))))) - (def: .public test + (def .public test Test (<| (_.covering /._) (_.for [/.Encoding]) |