On Sun, Feb 22, 2009 at 3:31 AM, Paul Johnson <span dir="ltr">&lt;<a href="mailto:paul@cogito.org.uk">paul@cogito.org.uk</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
&gt; &nbsp; parseDeclarations :: Parser [Declaration]<br>
&gt; &nbsp; parseDeclarations = mdo<br>
&gt; &nbsp; &nbsp; &nbsp;decls &lt;- many ParseDeclaration symbols&nbsp;</blockquote><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">&gt; &nbsp; &nbsp; &nbsp;let symbols = makeSymbolTable decls<br>

&gt; &nbsp; &nbsp; &nbsp;return decls</blockquote><div><br>Given a MonadFix instance, keep in mind that you should do this only if the success of the parse does not depend in any way on the symbol table -- otherwise you will be in bottom city.<br>
<br>Luke</div></div><br>