From 307e08c4765f17b4cad25502647a8ff109348218 Mon Sep 17 00:00:00 2001 From: Andy Kitchen Date: Wed, 18 Apr 2012 18:24:56 +1000 Subject: [PATCH] improved rewrite rule props --- RewriteRules.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/RewriteRules.hs b/RewriteRules.hs index 4d192c9..4c8b712 100644 --- a/RewriteRules.hs +++ b/RewriteRules.hs @@ -71,8 +71,8 @@ prop_dedual_onlyNegativeAtoms x = check (dedual x) prop_unexpt_inExponentialLattice1 x = lattice (unexpt x) -- This is a weakened version of the prop above, --- that makes counter examples easier to find for quickCheck -prop_unexpt_inExponentialLattice2 x = +-- that makes counter examples easier to find for quickCheck +prop_unexpt_inExponentialLattice2 x = forAllShrink exponentOnlyTerm shrink $ \t -> lattice (unexpt t) lattice :: Term -> Bool