[m-dev.] diff: bug fix for infinite loop in mode analysis

[Thomas Charles CONWAY]

Fergus Henderson, you write:
> Hi,
> 
> I wrote:
> 
> > Tom, can you please review this one?
> > 
> > compiler/inst_match.m:
> > 	Fix an infinite loop in inst_matches_final for higher-order
> > 	recursive insts.
> > 
> > compiler/mode_util.m:
> > 	Avoid creating insts of the form `typed_inst(..., typed_inst(...))',
> > 	because that is unnecessary, and could lead to inefficiencies or
> > 	perhaps even infinite loops (?).

This looks fine.

Thomas
-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.