idris-lang/Idris-dev — pull request #1334 by Melvar (2014-06-26 14:30:51+00:00)
Title: Set the handles used for --client to use UTF-8

Previously they were binary-mode, so they used `char8` “encoding”, taking
codepoint values modulo 256, leading to cryptic identifier mangling errors
when using idris-vim.