[m-dev.] diff: mode_util module-qualification bug fix

Simon TAYLOR stayl at students.cs.mu.oz.au
Sun Jun 1 03:05:21 AEST 1997

> compiler/mode_util.m:
> 	Ensure that we propagate types into the argument modes of
> 	higher-order insts.

Those changes look fine.