search

NorfairKing / validity

Validity and validity-based testing
https://www.youtube.com/watch?v=eIs9qNh17SM
MIT License
156 stars 31 forks source link

genvalidity-containers-0.9.0.0 test compilation failure #83

Closed bergmark closed 4 years ago

bergmark commented 4 years ago

Found in stackage nightly, will disable the tests there for now - please file a PR if they get fixed and you'd like us to run them again.

    [3 of 6] Compiling Data.GenValidity.Containers.SetSpec

    /var/stackage/work/unpack-dir/unpacked/genvalidity-containers-0.9.0.0-fea514851cc3b29e4ff63455e90861dc68b973346e0e03613ba173c0f9f159f8/test/Data/GenValidity/Containers/SetSpec.hs:33:52: error:
        Variable not in scope: distinctOrd :: [Int] -> prop0
       |
    33 |         forAll (genSeperate genUnchecked) $ \ls -> distinctOrd (ls :: [Int])
       |                                                    ^^^^^^^^^^^
NorfairKing commented 4 years ago

Oh dear! I think I know what happened. I'll ping you.

NorfairKing commented 4 years ago

I just uploaded valiidity-containers-0.5.0.4 which should fix this. @bergmark please let me know.

NorfairKing commented 4 years ago

I'll take this as fixed .