2008-10-11 Hackage status with GHC 6.10

[Simon Peyton-Jones]

Right.  I've finally fixed 2497; it was a typo, and while I thought I'd tested it, the test didn't tet that RULES compile without any flags.

The story is that you should not need any funny RankN flags just to make RULES parse and typecheck. -XScopedTypeVariables gets set automatically inside a RULES pragma.  This is what the discussion on #2497 claimed, but there was a bug in the impl.


Ian pls merge:

Simon


| -----Original Message-----
| From: libraries-bounces at haskell.org [mailto:libraries-bounces at haskell.org] On Behalf Of Duncan
| Coutts
| Sent: 12 October 2008 17:53
| To: Ian Lynagh
| Cc: Henning Thielemann; libraries at haskell.org
| Subject: Re: 2008-10-11 Hackage status with GHC 6.10
|
| On Sun, 2008-10-12 at 14:56 +0100, Ian Lynagh wrote:
| > On Sun, Oct 12, 2008 at 03:40:53PM +0200, Henning Thielemann wrote:
| > >
| > > ... and erm, how can I enable parsing of optimizer rules?
| > > With {-# OPTIONS_GHC -O #-} ?
| >
| > Yes, although note that Cabal passes -O by default. I'd recommend not
| > putting it in a pragma, as that will break
| >     ./Setup configure --disable-optimization
|
| I think the question was how to get the RULES pragmas to be parsed. One
| does have to turn on a language extension to get the forall in rules to
| parse and it's not very clear at the moment which one we should be
| using.
|
| See http://hackage.haskell.org/trac/ghc/ticket/2497
|
| Duncan
|
| _______________________________________________
| Libraries mailing list
| Libraries at haskell.org
| http://www.haskell.org/mailman/listinfo/libraries