Giters

EarnestResearch / dhall-packages

Collection of dhall packages

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

nix-shell fails to start, dhall tests failing

MartinPotier opened this issue · comments

commented

Some tests fail, and dhall is not usable in the nix-shell.

It may be a good idea to provide instruction to use the dhall project binary cache to avoid so much compiling?

...
    discover
      ./dhall-lang/tests/import/failure/cycle.dhall:                                                                           OK
      ./dhall-lang/tests/import/failure/missing.dhall:                                                                         OK
      ./dhall-lang/tests/import/failure/unit/EnvUnset.dhall:                                                                   OK
      ./dhall-lang/tests/import/failure/unit/EnvUnsetAsText.dhall:                                                             OK
      ./dhall-lang/tests/import/failure/importBoundary.dhall:                                                                  OK
      ./dhall-lang/tests/import/failure/alternativeEnv.dhall:                                                                  OK
      ./dhall-lang/tests/import/failure/referentiallyInsane.dhall:                                                             FAIL
        Exception:
        Error: Remote host not found

        URL: https://raw.githubusercontent.com/dhall-lang/dhall-lang/master/tests/import/data/referentiallyOpaque.dhall
...
12 out of 1451 tests failed (8.63s)
Test suite tasty: FAIL
Test suite logged to: dist/test/dhall-1.31.1-tasty.log
0 of 2 test suites (0 of 2 test cases) passed.
builder for '/nix/store/fmvykvwxkw5cf0kd17fm2apikj6nbvbz-dhall-1.31.1.drv' failed with exit code 1
error: build of '/nix/store/fmvykvwxkw5cf0kd17fm2apikj6nbvbz-dhall-1.31.1.drv' on 'ssh://bob@builder.mordor.relexsolutions.com' failed: builder for '/nix/store/fmvykvwxkw5cf0kd17fm2ap
ikj6nbvbz-dhall-1.31.1.drv' failed with exit code 1
builder for '/nix/store/fmvykvwxkw5cf0kd17fm2apikj6nbvbz-dhall-1.31.1.drv' failed with exit code 1
error: build of '/nix/store/fmvykvwxkw5cf0kd17fm2apikj6nbvbz-dhall-1.31.1.drv' failed
commented

I suspect this happens because I'm using sandboxing for my builds.

commented

encountered the same, looks like further versions(from what I checked) have tests disabled. If any maintainer has ideas as to what is the preferred approach:

  • bump nixpkgs to latest and use the latest dhall (as of now 1.38.0 is the version of Dhall)
  • or, bump nixpkgs to a few commits from what is currently used by this repo, so as to fix the test failures (this would be 1.32.0 of Dhall)
  • or, disable tests for the same version via an overlay.
    I can open a PR based on any of the suggestions.