Error when using cpphs in some locale environments #6
Description
Some Agda users have reported an error when installing Agda in their locale environments.
A MWE (adapted from this example) is the following:
$ cat Test.hs
module Main where
main = putStrLn "∀"
$ LC_CTYPE=C cpphs Test.hs > /dev/null
cpphs: Test.hs: hGetContents: invalid argument (invalid byte sequence)
I guess that cpphs uses the standard, locale-aware methods to read files. I think all of our source files use the UTF-8 character encoding, so the problem can perhaps be solved by setting LC_CTYPE to .UTF-8 before invoking cpphs, for some locale .UTF-8 that is installed. However, I would not be surprised if it is impossible to do this in a system-independent way. Perhaps it would be better to add a --utf8 flag to cpphs.
Blocking agda/agda#2112.