diff options
Diffstat (limited to 'stdlib/source/test/lux/data')
| -rw-r--r-- | stdlib/source/test/lux/data/format/tar.lux | 5 | ||||
| -rw-r--r-- | stdlib/source/test/lux/data/text/encoding.lux | 11 | ||||
| -rw-r--r-- | stdlib/source/test/lux/data/text/encoding/utf8.lux | 19 |
3 files changed, 28 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index c842ebe9c..c7250a025 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -14,7 +14,8 @@ ["." binary ("#\." equivalence monoid)] ["." text ("#\." equivalence) ["%" format (#+ format)] - ["." encoding] + [encoding + ["." utf8]] ["." unicode #_ ["#" set] ["#/." block]]] @@ -163,7 +164,7 @@ #let [content (|> chunk (list.repeat chunks) (text.join_with "") - (\ encoding.utf8 encode))]] + (\ utf8.codec encode))]] (`` ($_ _.and (~~ (template [<type> <tag>] [(_.cover [<type>] diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index 9a9ba67cf..b4e47d7ee 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -21,7 +21,9 @@ [number ["n" nat]]]] {1 - ["." /]}) + ["." /]} + ["." / #_ + ["#." utf8]]) (with_expansions [<encodings> (as_is [all/a [/.ascii]] @@ -68,7 +70,7 @@ /.ibm_874 /.ibm_875]] - [all/ibm>900 + [all/ibm<1000 [/.ibm_918 /.ibm_921 /.ibm_922 @@ -220,12 +222,11 @@ (<| (_.covering /._) (_.for [/.Encoding]) (`` ($_ _.and - (_.for [/.utf8] - ($codec.spec text.equivalence /.utf8 (random.unicode 5))) - (~~ (template [<definition> <by_letter>] [<definition>] <encodings>)) + + /utf8.test )))) ) diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux new file mode 100644 index 000000000..3d376811d --- /dev/null +++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux @@ -0,0 +1,19 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + {[0 #spec] + [/ + ["$." codec]]}] + [data + ["." text]] + [math + ["." random (#+ Random)]]] + {1 + ["." /]}) + +(def: #export test + Test + (<| (_.covering /._) + (_.for [/.codec] + ($codec.spec text.equivalence /.codec (random.unicode 5))))) |