12 Oct
2008
12 Oct
'08
6:09 p.m.
duncan.coutts:
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.
I've been suggesting Rank2Types, which does the trick. -- Don