Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Open
MartinPotier opened this issue Jun 16, 2020 · 2 comments
Open

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

MartinPotier opened this issue Jun 16, 2020 · 2 comments

Comments

@MartinPotier
Copy link

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
@MartinPotier
Copy link
Author

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

@iAmMrinal0
Copy link

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants