src/HOL/Tools/Quickcheck/Narrowing_Engine.hs
changeset 41962 27a61a3266d8
parent 41933 10f254a4e5b9
child 42090 ef566ce50170
     1.1 --- a/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs	Mon Mar 14 12:34:08 2011 +0100
     1.2 +++ b/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs	Mon Mar 14 12:34:09 2011 +0100
     1.3 @@ -89,9 +89,9 @@
     1.4    property app = P $ \n d -> Result [] [] (app . reverse);
     1.5  };
     1.6  
     1.7 -instance (Term_of a, Serial a, Testable b) => Testable (a -> b) where {
     1.8 +instance (Term_of a, Narrowing a, Testable b) => Testable (a -> b) where {
     1.9    property f = P $ \n d ->
    1.10 -    let C t c = series d
    1.11 +    let C t c = narrowing d
    1.12          c' = conv c
    1.13          r = run (\(x:xs) -> f xs (c' x)) (n+1) d
    1.14      in  r { args = Var [n] t : args r, showArgs = (show . term_of . c') : showArgs r };