Cannot import prelude

[soujiro32167]

Cannot import prelude

[Gabriella439]

You will need to import an older, pinned, version of the Prelude or upgrade to the latest version of the interpreter (which supports Date/show)

You can pin the Prelude by doing https://prelude.dhall-lang.org/v${VERSION}/package.dhall. For more details, see: https://github.com/dhall-lang/dhall-lang/tree/master/Prelude#usage

[soujiro32167]

That worked! Thank you:

let Prelude = https://raw.githubusercontent.com/dhall-lang/dhall-lang/v22.0.0/Prelude/package.dhall
in Prelude.List.map Natural Natural (\(a: Natural) -> a + 1) [1, 2, 3]

So this is a bug in v23 of Dhall?

[Gabriella439]

It's not a bug in the sense that v23 of the Prelude is compatible with any Dhall interpreter that implements v23 of the language standard

[soujiro32167]

➜  dhall brew upgrade dhall-json
Running `brew update --auto-update`...
==> Auto-updated Homebrew!
Updated 1 tap (homebrew/cask).
==> New Casks
creative                                   obsbot-webcam                              pololu-avr-programmer-v2                   volta
logitune                                   opal                                       samsung-portable-ssd-t7

You have 17 outdated formulae installed.

Warning: dhall-json 1.7.11 already installed

Is this is the interpreter? Am I installing it wrong?

[soujiro32167]

Wow 1.7.11 is not even in the tag list...I'm confused

[Gabriella439]

You'd have to install dhall-json-1.7.12 anyway, but that hasn't been packaged for brew yet as far as I can tell