Re: [Haskell-cafe] (Un)termination of overloading resolution

2006-02-24 Thread Roman Leshchinskiy
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

Re: [Haskell-cafe] haskell programming guidelines

2006-02-24 Thread John Meacham
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

Re: [Haskell-cafe] haskell programming guidelines

2006-02-24 Thread Cale Gibbard
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

Re: [Haskell-cafe] graphics on mac os x

2006-02-24 Thread Duncan Coutts
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