[m-dev.] diff: bug fix for recompute_instmap_delta on switches
Simon TAYLOR
stayl at students.cs.mu.oz.au
Mon Jun 16 17:06:52 AEST 1997
Fergus wrote:
> compiler/mode_util.m:
> Fix bugs in recompute_instmap_delta_cases.
> The old code was passing the wrong instmap to
> instmap_delta_bind_var and in the recursive call.
> It was passing the instmap _after_ the implicit
> functor test unification at the start of the case.
> For example, for a switch like this:
That looks fine, thanks Fergus.
More information about the developers
mailing list