search

EarnestResearch / dhall-packages

Collection of dhall packages
MIT License
44 stars 8 forks source link

nix-shell fails to start, dhall tests failing #61

Open MartinPotier opened 4 years ago

MartinPotier commented 4 years ago

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
MartinPotier commented 4 years ago

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

iAmMrinal0 commented 3 years ago

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: