Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/prop_missing_dependencies_forbid_eval.hs

Created February 12, 2017 15:24
Show Gist options
  • Save deque-blog/b94e64d055748e573f6cd2490d9dc354 to your computer and use it in GitHub Desktop.
Save deque-blog/b94e64d055748e573f6cd2490d9dc354 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
prop_missing_dependencies_forbid_eval.hs
makePartialEnv :: Set.Set Id -> Gen Env
makePartialEnv deps = do
v <- elements (Set.toList deps)
makeEnvWith (Set.delete v deps)
prop_missing_dependencies_forbid_eval :: Property
prop_missing_dependencies_forbid_eval =
forAll (sized genExpr) $ \e ->
let deps = dependencies e
in Set.size deps > 0 ==>
forAll (makePartialEnv deps) $ \env ->
not (isCst (partial env e))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment