[m-dev.] for review: print out inst on alias branch

[David Matthew Overton]

On Mon, Nov 02, 1998 at 03:12:52PM EST, Peter Ross wrote:
>  	( { instmap_delta_is_unreachable(InstMapDelta) } ->
>  		io__write_string("unreachable")
>  	;
> -		{ instmap_delta_to_assoc_list(InstMapDelta, AssocList) },
> -		{ instmap__init_reachable(InstMap) },	% YYY
> +		{ instmap__init_reachable(InstMap0) },	% YYY
> +		{ instmap__apply_instmap_delta(InstMap0, InstMapDelta, 
> +				InstMap) },
> +		{ instmap__to_assoc_list(InstMap, AssocList) },
> +
>  		hlds_out__write_instmap_2(AssocList, VarSet, AppendVarnums,
>  			Indent, InstMap, InstTable)
>  	).

Hi Pete,

You should expand the YYY comment to say why this still isn't
completely correct and what would be necessary to make it correct
(i.e. threading an instmap through hlds_out).  Other than that, this
change is fine.

David
-- 
David Overton
MEngSc Student                       Email: dmo at cs.mu.oz.au     
Department of Computer Science       Web: http://www.cs.mu.oz.au/~dmo
The University of Melbourne          Phone: +61 3 9344 9159