desperately seeking RULES help
Claus Reinke
claus.reinke at talk21.com
Mon Jun 9 18:29:12 EDT 2008
> Right. There are two things here:
>
> 1) -frewrite-rules
>
> enables rules to fire.
>
> 2) -fglasgow-exts
>
> enables parsing of RULES pragmas, and their interpretation.
>
> You need both if you wish to both write your own rules, and have them
> fire.
nope!-) -fglasgow-exts is sufficient for the RULE to be parsed
and applied in Lennart's code, -frewrite-rules doesn't seem to
serve any noticable purpose.
but i see now this is under re-evaluation, aptly titled:
"Confusing flags for rewrite rules"
http://hackage.haskell.org/trac/ghc/ticket/2213
(see simonpj's comment at the end)
claus
$ head -1 Rules.hs
{-# OPTIONS_GHC -O2 -Wall -fglasgow-exts #-}
$ /cygdrive/c/fptools/ghc/ghc-6.9.20080514/bin/ghc -fno-method-sharing -ddump-simpl-stats -c Rules.
hs
==================== FloatOut stats: ====================
0 Lets floated to top level; 0 Lets floated elsewhere; from 3 Lambda groups
==================== FloatOut stats: ====================
0 Lets floated to top level; 0 Lets floated elsewhere; from 3 Lambda groups
==================== Grand total simplifier statistics ====================
Total ticks: 60
18 PreInlineUnconditionally
11 PostInlineUnconditionally
5 UnfoldingDone
1 RuleFired
1 toInt/fromInt
2 EtaReduction
22 BetaReduction
1 KnownBranch
11 SimplifierDone
More information about the Glasgow-haskell-users
mailing list