dhall-packages
dhall-packages copied to clipboard
nix-shell fails to start, dhall tests failing
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://[email protected]' 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
I suspect this happens because I'm using sandboxing for my builds.
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.