[m-dev.] for review: infinite loops introduced by deforestation

[Simon Taylor]

> > 	This came up because of a bug in mode_util:recompute_instmap_delta
> > 	on the alias branch -- it doesn't handle constructions of
> > 	higher-order terms properly.
> > 
> 
> Could you please describe this bug in a bit more detail.  

The inst of the output of a higher-order term construction is computed to be 
`ground(shared, no)' rather than `ground(shared, yes(pred_inst_info(...))'.

Simon.