diff options
| author | krasimir <krasimir@chalmers.se> | 2009-08-27 17:27:20 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-08-27 17:27:20 +0000 |
| commit | c93d0a3a261ebf2f24606eee8f89d8da8b608c14 (patch) | |
| tree | dae20891472ba3a27bc4bff7135f064676993794 | |
| parent | db59a4ac724af4898a50bda0ecc94487b9353c66 (diff) | |
the -dump-X options should convert to UTF8
| -rw-r--r-- | src/GF/Compile.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Compile.hs b/src/GF/Compile.hs index c2fc3a339..c66c2f86a 100644 --- a/src/GF/Compile.hs +++ b/src/GF/Compile.hs @@ -101,7 +101,7 @@ compileSourceGrammar opts gr@(MGrammar ms) = do -- to output an intermediate stage intermOut :: Options -> Dump -> Doc -> IOE () intermOut opts d doc - | dump opts d = ioeIO (hPutStrLn stderr (render (text "\n\n--#" <+> text (show d) $$ doc))) + | dump opts d = ioeIO (hPutStrLn stderr (encodeUTF8 (render (text "\n\n--#" <+> text (show d) $$ doc)))) | otherwise = return () -- | the environment |