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

Correctly implement function equality testing within structures #340

Closed
2 tasks
jwiegley opened this issue Aug 5, 2018 · 4 comments · Fixed by #349
Closed
2 tasks

Correctly implement function equality testing within structures #340

jwiegley opened this issue Aug 5, 2018 · 4 comments · Fixed by #349

Comments

@jwiegley
Copy link
Member

jwiegley commented Aug 5, 2018

This issue tracks the fact that the following tests in EvalTests.hs fail when MATCHING_TESTS=yes:

  • case_function_equals1
  • case_function_equals2
@matthewbauer
Copy link
Collaborator

Hmmm... I'm confused by the error:

    function equals2:
FAIL (0.02s)
      tests/TestCommon.hs:65:
      ([(x: x)] == [(x: x)])
      expected: "false\n"
       but got: "true\n"

But ([(x: x)] == [(x: x)]) should be true and the test case is constantEqualText "true" "([(x: x)] == [(y: y)])". Where does the false come from?

@ryantrinkle
Copy link
Member

ryantrinkle commented Aug 9, 2018 via email

@matthewbauer
Copy link
Collaborator

matthewbauer commented Aug 9, 2018

Very weird. Nix has very weird behaviors. I will fix it with the test mentioned in #323.

matthewbauer added a commit to obsidiansystems/hnix that referenced this issue Aug 9, 2018
I still don’t understand what Nix is doing behind the scenes here.
This is the original test case. Apparently it only happens with let
bindings?

Fixes haskell-nix#340
matthewbauer added a commit to obsidiansystems/hnix that referenced this issue Aug 9, 2018
I still don’t understand what Nix is doing behind the scenes here.
This is the original test case. Apparently it only happens with let
bindings?

Fixes haskell-nix#340
@matthewbauer
Copy link
Collaborator

Hnix isn't running Nix in those tests. I think I was just thinking about it backwards the left side is the actual, the right is the expected.

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

Successfully merging a pull request may close this issue.

3 participants