Last active
February 12, 2017 15:33
-
-
Save deque-blog/dabcc3a07e3b36dc7cb8316c26714920 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
quickCheck prop_missing_dependencies_forbid_eval | |
> *** Failed! Falsifiable (after 4 tests): | |
> (* g x) | |
> fromList [("x",0)] | |
quickCheck prop_missing_dependencies_forbid_eval | |
> *** Failed! Falsifiable (after 4 tests): | |
> (* 0 b q) | |
> fromList [("b",2)] |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment