Re: ANNOUNCE: GHC 6.8.1 Second Release Candidate

2007-10-24 Thread Jean-Philippe Bernardy
Hello, I ran into this problem with the GHC API (GHC 6.8.1 Second Release Candidate) upon doing: session <- GHC.newSession (Just path) I run into: yi: Can't find package.conf as /home/jp/usr//lib/ghc-6.8.0.20071019 /driver/package.conf.inplace Digging into this, I found the "SysTool.lhs" fi

RE: type families not advertised for 6.8

2007-10-24 Thread Simon Peyton-Jones
Yes, GHC also uses `cast` to express the coercion for a newtype. A type class with just one method is represented by a newtype. Nothing to do with FDs; this is two source-language constructs using the same intermediate-language encoding. (Though using casts for newtype did give rise to an un

Re: ANNOUNCE: GHC 6.8.1 Second Release Candidate

2007-10-24 Thread Ian Lynagh
Hi, On Wed, Oct 24, 2007 at 09:28:51AM +0200, Jean-Philippe Bernardy wrote: > > I ran into this problem with the GHC API (GHC 6.8.1 Second Release Candidate) > > upon doing: > > session <- GHC.newSession (Just path) > > I run into: > > yi: Can't find package.conf as /home/jp/usr//lib/ghc-6

RE: kind error

2007-10-24 Thread Simon Peyton-Jones
I don't see how that could *ever* have compiled. >From MinHeap: data Min h a = E | M a h deriving (Eq) >From UnbalancedSet: data Set a = E | T (Set a) a (Set a) So the type synoynm for FastClasus is ill-kinded, as GHC says. Simon | -Original Message- | From: [EMAIL