[m-rev.] for review: combined higher-order types and insts
jfischer at opturion.com
Sat Feb 6 23:24:19 AEDT 2016
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?
> 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
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
More information about the reviews