On Thu, Aug 28, 2008 at 5:02 PM, Neil Mitchell <[EMAIL PROTECTED]> wrote: > Hi > >> Tools like Neil Mitchell's Catch can do more sophisticated checking, as long >> as your program can be compiled by YHC. Sometimes fromJust can be quite >> useful, though, especially in tandem with isJust. For example, >> >>> prop_foobar :: SomeType -> Property >>> prop_foobar x >>> = isJust (someTypeToMaybe x) ==> fromJust x == expectedResult > > I was thinking of jumping in on this thread, to advertise Catch, but > unfortunately "can be compiled with Yhc" makes it a fairly niche tool > :-( However, the fundamental bit of Catch works on an a normal Core > language, and I do want to hook it up to GHC's Core language at some > point. It could certainly deal with prop_foobar, and things that are > far more complex.
So are we going to get ghc -Wcatch? That would be really cool. catch has always sounded very interesting, but I've never used it because I use too many ghc libs. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
