diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-16 16:50:14 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-16 16:50:14 -0700 |
| commit | f98f101a67df9cdfcaa79a154afaa8102210275d (patch) | |
| tree | d5a76c393ea17004e5c5e73741acda1603b39477 /html-test/src/Unicode2.hs | |
| parent | a631fb6c15de83042e9739285518fda72cfb3144 (diff) | |
Set UTF-8 encoding before writing files (#934)
This should fix #929, as well as guard against future problems of this
sort in other places. Basically replaces 'writeFile' (which selects the
users default locale) with 'writeUtf8File' (which always uses utf8).
Diffstat (limited to 'html-test/src/Unicode2.hs')
0 files changed, 0 insertions, 0 deletions