Prelude/package.dhall checksum incorrect about dhall-gitlab-ci HOT 7 OPEN

I have merged the MR. Thanks everyone!

from dhall-gitlab-ci.

Odd. It worked for me.

$ git clone https://github.com/bgamari/dhall-gitlab-ci.git
$ cd dhall-gitlab-ci
$ dhall <<< ./examples/single-job.dhall
''
"generated-job":
  "allow_failure": false
  "image":
    "entrypoint":
      - " "
    "name": "alpine:latest"
  "script":
    - "echo 'Hello World'"
  "stage": "build"
  "variables": {}
"variables":
  "GIT_SUBMODULE_STRATEGY": "normal"
''

I tested using a somewhat old version:

$ dhall --version
1.39.0

from dhall-gitlab-ci.

Yeah, I'm using the latest:

% dhall --version
1.41.1

I can't see any obvious reason in the changelog why this would have broken: https://hackage.haskell.org/package/dhall-1.41.1/changelog

from dhall-gitlab-ci.

For the record, same problem here when upgrading to dhall in version 1.40.2. For now I'm using @bobdoah's PR directly, otherwise the pipeline won't build.

from dhall-gitlab-ci.

It turned out that there is another issue with the latest dhall version: https://discourse.dhall-lang.org/t/first-steps-failed-when-trying-dhall-for-gitlab-ci/602/3

The behavior of import has changed, so the fallback to use an include without the integrity checksum doesn't work anymore.

from dhall-gitlab-ci.

I was hoping to get a bit more familiar with dhall by using it for gitlab-ci, any recs on a temporary workaround?

Could I somehow get that version of the Prelude cached on my machine? Or fork and deal with fixing the sha check w/in the code of this repo?

from dhall-gitlab-ci.

You can use the PR (https://raw.githubusercontent.com/bgamari/dhall-gitlab-ci/9cde297ccee35a473c9ef0944348b70367a899ac/package.dhall), or my fork: https://raw.githubusercontent.com/bobdoah/dhall-gitlab-ci/master/package.dhall

from dhall-gitlab-ci.