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

[Mark Brown]

On Fri, Oct 30, 2015 at 1:58 PM, Zoltan Somogyi
<zoltan.somogyi at runbox.com> wrote:
> The language reference manual already disallows putting functions with
> nondefault mode and determinism signatures into terms (in section 8.3)

Did you mean to say *ground* terms? They are not generally disallowed in terms.

> We allowed it so far, and even used such code ourselves, even though
> it could lead to crashes. So this diff, which disallows such code, would
> de facto, though not de jure, change the language. Any objections to that?

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.

Cheers,
Mark