Support non-ASCII characters?

[Toxaris]

Jenkins reported:

Changes:

[Tillmann Rendel] Add examples about Church numerals (see #21).

[...]

+ dist/build/tests/tests --hide-successes --maximum-generated-tests=10000 --jxml=junit-log.xml
tests: examples/ChurchNumbers.lpts: hGetContents: invalid argument (invalid byte sequence)
Build step 'Execute shell' marked build as failure

I guess the umlaut in "Böhm" is the problem. It works fine on my machine.

[Blaisorblade]

Unicode works fine on my machine, too. But since we don't set the encoding ourselves, we use whatever's the OS default (which is not insane until you migrate code across machines with different defaults — as a result, both javac and scalac allow setting the encoding on the command line).

I'm confused the Jenkins host would not use Unicode, but maybe I never noticed.