On Wed, 2006-02-22 at 12:33 +0800, Martin Sulzmann wrote:
> In case we have an n-ary type function T
> (or (n+1)-ary type class constraint T)
> the conditions says
> for each
>
> type T t1 ... tn = t
>
> (or rule T t1 ... tn x ==> t)
>
> then rank(ti) > rank(t) for each i=1,..,n
I'm probably m
On Fri, Feb 24, 2006 at 12:39:27PM -0500, Cale Gibbard wrote:
> I look at the above as generating a proof obligation for me as the
> programmer that the lookup will never fail, or at least the ability to
> convince myself. :) If you want to handle errors, you should actually
> handle them, not let
On 20/02/06, John Meacham <[EMAIL PROTECTED]> wrote:
> There is a more straightforward way to get localized error messages
> rather than using 'maybe' and hand-writing an appropriate error, and
> that is to rely on irrefutable bindings.
>
> f x = ... y ... where
> Just y = Map.lookup x theM
On Thu, 2006-02-23 at 18:19 -0800, jeff p wrote:
> Hello,
>
> I am running ghc 6.4.1 on mac os X (10.4.5). Can anyone give me some
> pointers for getting graphics functionality?
>
> I have tried wxhaskell, but it gives me the error
>
> HelloWorld.hs:4:0:
> Failed to load interface for `Gra