Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/prop_optimize_preserves_dependencies.hs

Last active February 13, 2017 19:30
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save deque-blog/b1acbf9eabe4d91e811709a65d2513a7 to your computer and use it in GitHub Desktop.
Save deque-blog/b1acbf9eabe4d91e811709a65d2513a7 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
prop_optimize_preserves_dependencies.hs
prop_optimize_preserves_dependencies :: Property
prop_optimize_preserves_dependencies =
forAll (sized genExpr) $ \e ->
dependencies e == dependencies (optimize e)
quickCheck (expectFailure prop_optimize_preserves_dependencies)
> +++ OK, failed as expected. Falsifiable (after 8 tests):
> (* g r e m (* 0))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment