Prelude dhall Error: Connection establishment took too long

Prelude dhall Error: Connection establishment took too long

今天我的 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

有什么帮助吗??

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