Looking for help writing some GHC RULES

Simon Peyton Jones simonpj at microsoft.com
Thu Jul 24 06:51:04 UTC 2014


And -ddump-rule-firings shows you which rules fire
And -ddump-rule-rewrites shows you the before-and-after for each rule that fires

Simon

| -----Original Message-----
| From: Libraries [mailto:libraries-bounces at haskell.org] On Behalf Of
| Henning Thielemann
| Sent: 23 July 2014 09:06
| To: David Feuer; libraries at haskell.org
| Subject: Re: Looking for help writing some GHC RULES
| 
| Am 23.07.2014 00:42, schrieb David Feuer:
| > I'm looking for some help writing some translate/untranslate rules to
| > implement fusion for a couple of basic functions (the ones I'm
| looking
| > at right now are takeWhile and scanr, but there may be others). I
| have
| > a translation for takeWhile that seems to be at least decent, and one
| > for scanr that is completely untested. I've never mucked about with
| > GHC RULES, however, so I don't even know where to begin.
| 
| It is helpful to watch the simplifier working. E.g.
| 
|     -ddump-simpl-stats
| 
| shows you the rules that fired and
| 
|     -ddump-simpl
| 
| shows the Core outputs, that the simplifier phase produce.
| 
| _______________________________________________
| Libraries mailing list
| Libraries at haskell.org
| http://www.haskell.org/mailman/listinfo/libraries


More information about the Libraries mailing list