@@ -72,6 +72,7 @@ codegenC' defs out exec incs objs libs flags exports iface dbg
7272 Raw -> writeSource out cout
7373 _ -> do
7474 (tmpn, tmph) <- tempfile ".c"
75+ hSetEncoding tmph utf8
7576 hPutStr tmph cout
7677 hFlush tmph
7778 hClose tmph
@@ -121,7 +122,7 @@ gccDbg _ = []
121122
122123cname :: Name -> String
123124cname n = "_idris_" ++ concatMap cchar (showCG n)
124− where cchar x | isAlpha x || isDigit x = [x]
125+ where cchar x | isAscii x && isAlpha x || isDigit x = [x]
125126 | otherwise = "_" ++ show (fromEnum x) ++ "_"
126127
127128indent :: Int -> String