<br><br><div class="gmail_quote">On Mon, Sep 13, 2010 at 6:05 PM, Simon Foster <span dir="ltr"><<a href="mailto:s.foster@dcs.shef.ac.uk">s.foster@dcs.shef.ac.uk</a>></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's the best place to store new builtin definitions? At the moment I've got them as an additional field in TCState, which seems to be the easiest. I've then altered resetState to make this new field persistent between reloads, as I notice you'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'll also need an additional field to store external tool functions (something like [[String] -> Term -> TCM Term]).<br></blockquote><div><br>Is this be for function that should be run during type checking? Can't you just use primitives for those?<br>
<br>/ Ulf<br></div></div>