WinGHCiで非ASCII文字を出力したいのですが、これが私が得たものです:
Prelude> "δ"
"\948"
Prelude> putStr "\948"
*** Exception: <stdout>: hPutChar: invalid argument (character is not in the code page)
私はWindowsXPでWinGHCi7.0.3を使用しています。WinGHCiが素敵な小さなデルタを印刷するにはどうすればよいですか?
WinGHCiで非ASCII文字を出力したいのですが、これが私が得たものです:
Prelude> "δ"
"\948"
Prelude> putStr "\948"
*** Exception: <stdout>: hPutChar: invalid argument (character is not in the code page)
私はWindowsXPでWinGHCi7.0.3を使用しています。WinGHCiが素敵な小さなデルタを印刷するにはどうすればよいですか?