[Haskell-cafe] Haskell Propeganda

[Evan Laforge]

On Thu, Aug 28, 2008 at 5:02 PM, Neil Mitchell <ndmitchell at gmail.com> 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.