#1594: Better QuickCheck/HUnit integration
--------------------------------+-------------------------------------------
Reporter: igloo | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: libraries (other) | Version: 6.6.1
Severity: normal | Keywords:
Difficulty: Unknown | Os: Unknown
Testcase: | Architecture: Unknown
--------------------------------+-------------------------------------------
Daniel Burrows <[EMAIL PROTECTED]> in
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=355215
requests:
Quickcheck and HUnit are both great tools for testing software, but it
seems to be rather difficult to make them work together. In particular,
since the signature of all the quickCheck interface functions is some
variant on
{{{
Testable a => a -> IO ()
}}}
the only way to find out whether a test succeeded or failed is to read
the terminal output. It would be ideal if !QuickCheck could generate
HUnit
assertion failures when a test failed (maybe by expanding the Config
structure with "failure hooks"), but even just changing its signature
to either
{{{
Testable a => a -> IO Bool
}}}
returning True for success, or (slightly more ambitiously)
{{{
Testable a => a -> IO (Maybe String)
}}}
returning Nothing for success and an error message otherwise would be
enough to get basic integration working.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1594>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
