Package: ghc6 Version: 6.4.1-1 Severity: wishlist 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. Daniel -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable'), (1, 'experimental'), (1, 'unstable') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.15-1-686 Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Versions of packages ghc6 depends on: ii gcc 4:4.0.2-2 The GNU C compiler ii haskell-utils 1.6.0.1 Utilities used by the Debian Haske ii libc6 2.3.6-3 GNU C Library: Shared libraries an ii libgmp3-dev 4.1.4-11 Multiprecision arithmetic library ii libgmp3c2 4.1.4-11 Multiprecision arithmetic library ii libncurses5 5.5-1 Shared libraries for terminal hand ii libreadline5 5.1-6 GNU readline and history libraries ii libreadline5-dev 5.1-6 GNU readline and history libraries ii perl [perl5] 5.8.8-2 Larry Wall's Practical Extraction ghc6 recommends no packages. -- no debconf information
signature.asc
Description: Digital signature
