Prelude dhall Error: Connection establishment took too long

Question

今天我的 dhall 项目开始因 Prelude 依赖而崩溃，所以主要错误是：

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

问题是我不得不在 dhall-lang.org 上暂时禁用 IPv6。我后来 re-enabled IPv6，解决了这个问题。更多详情，请参阅：https://github.com/dhall-lang/dhall-lang/issues/1268

Prelude dhall Error: Connection establishment took too long

Prelude dhall Error: Connection establishment took too long

yaml

haskell-prelude

dhall