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

[Zoltan Somogyi]

On Fri, 30 Oct 2015 17:24:30 +1100, Mark Brown <mark at mercurylang.org> wrote:
> > I don't really understand your question. Do you mean "ground" as in
> > "contains no variables" or "ground" as "Inst = ground(shared, none)",
> > i.e. no further information about its binding. If the former, the presence of
> > variables elsewhere in the term should not matter. If the latter, I don't know
> > how that could affect the decision made by the newly added code.
> 
> The latter. I thought it would still be okay to construct and use a
> term with a non-default mode, but it would be a mode error to pass it
> anywhere expecting ground.

That is what I just proposed in the reply I just sent to Julien and the list.
However, the language's current rules are silent on the matter, as far as
I can see.

Zoltan.