[m-rev.] for review: don't allow nondefault mode functions in terms

[Zoltan Somogyi]

On Fri, 30 Oct 2015 16:55:47 +1100 (AEDT), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> > For the changes in the browser directory, is it not possible to always
> > keep the directory list in simplified form and accurately reflect that
> > in the inst? That would be preferable to dynamic checking.
> 
> You are almost certainly right. I was just going for a minimum change
> with this diff, and intended to come back to it later, reflecting the simplified
> form of the dir list in the *type*. We don't want to put that info into insts
> as long as we want to put such functions into terms.

Coming back to this, I have produced the attached diff. It implements
what Mark proposed, and avoids the use of any nonstandard insts.

Zoltan.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.dirs
Type: application/octet-stream
Size: 1066 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20151102/0ac166db/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.dirs
Type: application/octet-stream
Size: 28879 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20151102/0ac166db/attachment-0001.obj>