projects
/
ghc-base.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f0d03cb
)
[project @ 2003-07-08 16:04:54 by panne]
author
panne
<unknown>
Tue, 8 Jul 2003 16:04:54 +0000
(16:04 +0000)
committer
panne
<unknown>
Tue, 8 Jul 2003 16:04:54 +0000
(16:04 +0000)
Export TestResult, too
Debug/QuickCheck/Batch.hs
patch
|
blob
|
history
diff --git
a/Debug/QuickCheck/Batch.hs
b/Debug/QuickCheck/Batch.hs
index
3b7c6d5
..
faaa808
100644
(file)
--- a/
Debug/QuickCheck/Batch.hs
+++ b/
Debug/QuickCheck/Batch.hs
@@
-84,6
+84,7
@@
module Debug.QuickCheck.Batch
-- [TestOptions -> IO TestResult] -> IO ()
, defOpt -- :: TestOptions
, TestOptions (..)
+ , TestResult (..)
, isBottom -- :: a -> Bool
, bottom -- :: a {- _|_ -}
) where