mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-22 09:32:53 -06:00
the -dump-X options should convert to UTF8
This commit is contained in:
@@ -101,7 +101,7 @@ compileSourceGrammar opts gr@(MGrammar ms) = do
|
|||||||
-- to output an intermediate stage
|
-- to output an intermediate stage
|
||||||
intermOut :: Options -> Dump -> Doc -> IOE ()
|
intermOut :: Options -> Dump -> Doc -> IOE ()
|
||||||
intermOut opts d doc
|
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 ()
|
| otherwise = return ()
|
||||||
|
|
||||||
-- | the environment
|
-- | the environment
|
||||||
|
|||||||
Reference in New Issue
Block a user