[m-rev.] for review: combined higher-order types and insts

[Julien Fischer]

Hi Mark,

On Sat, 6 Feb 2016, Mark Brown wrote:

>> BTW, were you intending to commit the change that enabled variable
>> bindings in interactive debugger queries at some point?
>> (http://www.mercurylang.org/list-archives/reviews/2015-May/017956.html).
>
> It needs more testing, and you didn't really answer my question about
> how to do that. ;-)
>
> Are the interactive tests expected to be run via tools/bootcheck at
> all?  I can only figure out how to run them on an already installed
> compiler.

At the moment they won't be run via a bootcheck, only when you test an
already installed compiler.  Running them from a stage 2 directory on
some systems will be fiddly.

To answer your question more definitely, add the new tests to
INTERACTIVE_PROGS.  Getting the tests in INTERACTIVE_PROGS to run from a
stage 2 compiler is a separate problem.

> If you're thinking that it would be a good idea to fork the next
> release before adding the new language features, then I agree,
> provided that it really is happening soon.

No, I wasn't thinking that.  I don't think combined higher-order
types and insts will really interfere with anything release-wise
anyway.

Julien.