[m-dev.] bootcheck failed -- backing out cse_detection change

[Zoltan Somogyi]

On 06-Dec-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> It seems unlikely that the `MR_' prefix
> ones are the cause of the problem, so I think the cse_detection
> change is probably the one.

I think you are right. I tracked down the immediate cause of the problem:
the compiler was miscompiling abstractly_unify_inst_3, so it failed when it
should have succeeded. This procedure has three deep nesting, and cse_detection
is invoked on it fives times. Unfortunately, finding which *part* of
abstractly_unify_inst_3 is being miscompiled will be harder, since the
generated code is 1325 lines long :-(

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------