<br><br><div class="gmail_quote">On Mon, Sep 13, 2010 at 6:05 PM, Simon Foster <span dir="ltr">&lt;<a href="mailto:s.foster@dcs.shef.ac.uk">s.foster@dcs.shef.ac.uk</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Hi,<br>
<br>
What&#39;s the best place to store new builtin definitions? At the moment I&#39;ve got them as an additional field in TCState, which seems to be the easiest. I&#39;ve then altered resetState to make this new field persistent between reloads, as I notice you&#39;re already doing with command-line options - is this acceptable?<br>
</blockquote><div><br>Yes, that makes sense.<br> <br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
I&#39;ll also need an additional field to store external tool functions (something like [[String] -&gt; Term -&gt; TCM Term]).<br></blockquote><div><br>Is this be for function that should be run during type checking? Can&#39;t you just use primitives for those?<br>
<br>/ Ulf<br></div></div>