dhall错误前奏:连接建立时间过长

Question

今天，我的dhall项目已经开始崩溃了，所以主要的错误是：

Error: Connection establishment took too long.

我用这个道具：

let List/map = https://prelude.dhall-lang.org/List/map

let Map/values = https://prelude.dhall-lang.org/Map/values

let Text/concatSep = https://prelude.dhall-lang.org/Text/concatSep 

当我试图生成yaml文件：dhall-to-yaml时，会出现以下消息：

Error: Connection establishment took too long

URL: https://prelude.dhall-lang.org/List/map

有什么帮助吗？

Answer 1

问题是我不得不暂时禁用dhol-lang.org上的IPv6。我后来重新启用了IPv6，它解决了这个问题.有关更多详细信息，请参见：https://github.com/dhall-lang/dhall-lang/issues/1268