[GHC] #1594: Better QuickCheck/HUnit integration

[GHC]

#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 <dburrows at debian.org> 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