[Haskell] Re: Functional dependencies and type inference (2)

2005-12-03 Thread Stefan Monnier
> instance CpsForm t t where This can't be right, can it? After CPS conversion a term of type "a -> b" won't have type "a -> b" but rather something like "a * (b -> c) -> c". Stefan ___ Haskell mailing list Haskell@haskell.org http://www.haske

Re: [Haskell] cabal and ghcconfigure.h

2005-12-03 Thread Robert
On Dec 1, 2005, at 10:18 AM, Duncan Coutts wrote: > On Wed, 2005-11-30 at 22:48 -0500, Robert Dockins wrote: >> I've just run across a problem with my cabal build system -- I'm not yet sure >> if this is a cabal problem or a system configuration problem. >> I've been developing a package on OSX us