src/HOL/Tools/Quickcheck/Narrowing_Engine.hs
changeset 45756 295658b28d3b
parent 45725 2987b29518aa
child 45760 3b5a735897c3
     1.1 --- a/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs	Mon Dec 05 12:35:06 2011 +0100
     1.2 +++ b/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs	Mon Dec 05 12:35:58 2011 +0100
     1.3 @@ -52,12 +52,12 @@
     1.4    ", " ++ (str_of_list $ zipWith ($) (showArgs r) xs) ++ ")") >> hFlush stdout >> exitWith ExitSuccess;
     1.5  
     1.6  eval :: Bool -> Bool -> (Bool -> Bool -> IO a) -> (Pos -> IO a) -> IO a;
     1.7 -eval potential p k u = answer potential p (\genuine p -> answer potential p k u) u;
     1.8 +eval potential p k u = answer potential p k u;
     1.9  
    1.10  ref :: Bool -> Result -> [Generated_Code.Narrowing_term] -> IO Int;
    1.11  ref potential r xs = eval potential (apply_fun r xs) (\genuine res -> if res then return 1 else report genuine r xs)
    1.12    (\p -> sumMapM (ref potential r) 1 (refineList xs p));
    1.13 -          
    1.14 +
    1.15  refute :: Bool -> Result -> IO Int;
    1.16  refute potential r = ref potential r (args r);
    1.17