idris-lang/Idris-dev — pull request #787 by ziman (2014-01-19 22:57:19+00:00)
Title: Make reg031 char-sign-indifferent.

The test `reg031` failed with the Java backend because Java uses unsigned chars.

The test has been made char-sign-agnostic.