Re: [Haskell-cafe] Observations from ListLike

2007-09-18 Thread Ketil Malde
On Mon, 2007-09-17 at 14:37 -0500, John Goerzen wrote: * It would be really nice if QuickCheck supported I/O and some version of HUnit's TestLabel to generate hierarchical names when failures occur. I've done this for testing IO (reading and writing files): prop_serialize (E s) =

Re: [Haskell-cafe] Observations from ListLike

2007-09-18 Thread Malcolm Wallace
John Goerzen [EMAIL PROTECTED] wrote: * Hugs programs that use cpphs can't use ByteString This bug in cpphs was fixed already, several days ago. * It would be really nice if QuickCheck supported I/O QuickCheckM gives you monadic test properties, as described in a Haskell Workshop 2002 paper.

[Haskell-cafe] Observations from ListLike

2007-09-17 Thread John Goerzen
Hi folks, I just announced ListLike[1] on [EMAIL PROTECTED] Rather than repeat that announcement here, I'd like to make a few observations that came out of the development of this program: * I wrote extensive QuickCheck cases for this and wrapped them in HUnit for better display and future