[Improve dumping for rules, and documentation of same
simonpj@microsoft.com**20091208105556
 Ignore-this: 4b09e56f953d130d5cb2807cf9da7303
 
 Inspired by Trac #3703
] {
hunk ./compiler/simplCore/SimplCore.lhs 330
-		 vcat [text "Local rules", pprRules simpl_rules,
+		 vcat [text "Local rules for local Ids", pprRules simpl_rules,
hunk ./compiler/simplCore/SimplCore.lhs 332
-		       text "Imported rules", pprRuleBase hpt_rule_base])
+		       text "Local rules for imported Ids", pprRuleBase hpt_rule_base])
hunk ./docs/users_guide/debugging.xml 123
-		<para>dumps all rewrite rules (including those generated
-	      by the specialisation pass)</para>
+		<para>dumps all rewrite rules specified in this module; 
+                      see <xref linkend="controlling-rules"/>.
+                </para>
hunk ./docs/users_guide/glasgow_exts.xml 8608
-<sect2>
-<title>Controlling what's going on</title>
+<sect2 id="controlling-rules">
+<title>Controlling what's going on in rewrite rules</title>
hunk ./docs/users_guide/glasgow_exts.xml 8617
- Use <option>-ddump-rules</option> to see what transformation rules GHC is using.
+Use <option>-ddump-rules</option> to see the rules that are defined
+<emphasis>in this module</emphasis>.
+This includes rules generated by the specialisation pass, but excludes
+rules imported from other modules. 
}