[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