Dhall Repl:奇怪的格式化问题(Windows 10 64位的Powershell)

Question

当我在Powershell中使用dhall repl时，我得到了很多奇怪的输出/编码问题。我使用的是来自https://github.com/dhall-lang/dhall-haskell/releases的windows预编译二进制文件。

一个例子:

Welcome to the Dhall v1.40.1 REPL! Type :help for more information.
|- let makeSnippet = ./makeSnippet.dhall in makeSnippet "" []
Ôå│ ./makeSnippet.dhall
Ôå│ ./Snippet.dhall
Error: Invalid type for ÔØ░ListÔØ▒
2Ôöé          [Text]
C:xxxSnippet.dhall:2:10
1Ôöé               ./Snippet.dhall
C:xxxmakeSnippet.dhall:1:15
|- let makeSnippet = ./makeSnippet.dhall in makeSnippet "test" [ "test" ]
Ôå│ ./makeSnippet.dhall
Ôå│ ./Snippet.dhall

我在dhall repl和dhall repl --ascii中也有这个问题。当在Git Bash中运行Repl时，它工作:

(input):2:1:
|
2 | <empty line>
| ^
unexpected end of input
expecting #!, expression, or whitespace
⊢ :let greeting = "hello"
greeting : Text
⊢ ./makeSnippet.dhall
↳ ./makeSnippet.dhall
↳ ./Snippet.dhall
Error: Invalid type for ❰List❱

我真的很惊讶地看到，错误诊断在--ascii调用的repl似乎使用unicode字符-这是故意的吗?

到目前为止我尝试了什么(没有成功):

• 将字体更改为Lucidca
• 更改字体为DejaVu Sans Mono
• 通过chcp 65001更改代码页

我真的很想使用powershell的大厅。所以任何关于如何解决这个问题的想法都是非常受欢迎的!

提前感谢!

朱利安

Answer 1

帮助:

显示Unicode

我必须输入

$OutputEncoding = [console]::InputEncoding = [console]::OutputEncoding = 
New-Object System.Text.UTF8Encoding