Commit 2f5dc46f authored by simonpj's avatar simonpj
Browse files

[project @ 2005-04-29 11:10:42 by simonpj]

XML wibble
parent f6c5ce72
......@@ -100,8 +100,7 @@ identifiers, expressions, rules, and their operations.</strong>
CoreUnfold (OccurAnal.occurAnalyseGlobalExpr)
<p><li>
Subst (CoreUnfold.Unfolding, CoreFVs) <br>
Generics (CoreUnfold.mkTopUnfolding)
<p><li>
Generics (CoreUnfold.mkTopUnfolding) <br>
Rules (CoreUnfold.Unfolding, PprCore.pprTidyIdRules)
<p><li>
MkId (CoreUnfold.mkUnfolding, Subst, Rules.addRule)
......
......@@ -1823,6 +1823,7 @@ overlapping instances without the library client having to know.
</para>
<para>The <option>-fallow-incoherent-instances</option> flag implies the
<option>-fallow-overlapping-instances</option> flag, but not vice versa.
</para>
</sect3>
<sect3>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment