%
-% $Id: glasgow_exts.vsgml,v 1.11 1999/05/18 15:41:32 simonpj Exp $
+% $Id: glasgow_exts.vsgml,v 1.13 1999/08/02 09:52:43 simonmar Exp $
%
% GHC Language Extensions.
%
id="rewrite-rules">.
%-----------------------------------------------------------------------------
-<sect1>Rewrite rules</sect1>
+<sect1>Rewrite rules
<label id="rewrite-rules">
<nidx>RULES pagma</nidx>
<nidx>pragma, RULES</nidx>
#-}
</verb></tscreen>
-<sect2>Syntax</sect2>
+<sect2>Syntax
+<p>
From a syntactic point of view:
<itemize>
<item> Rules are automatically exported from a module, just as instance declarations are.
</itemize>
-<sect2>Semantics</sect2>
+<sect2>Semantics
+<p>
From a semantic point of view:
<itemize>
</itemize>
-<sect2>Controlling what's going on</sect2>
+<sect2>Controlling what's going on
+<p>
<itemize>
-<item> Use @-fddump-rules@ to see what transformation rules GHC is using.
-<item> Use @-fddump-simpl-stats@ to see what rules are being fired.
+<item> Use @-ddump-rules@ to see what transformation rules GHC is using.
+<item> Use @-ddump-simpl-stats@ to see what rules are being fired.
<item> The defintion of (say) @build@ in @PrelBase.lhs@ looks llike this:
<tscreen><verb>
build :: forall a. (forall b. (a -> b -> b) -> b -> b) -> [a]