[m-dev.] for review: cleanup of type_ctor_infos, part 0

[Tyson Dowd]

> 			% XXX term__var_to_int doesn't guarantee anything
> 			% about the ints returned (other than that they be
> 			% distinct for different variables), but we are relying
> 			% on more here.

You should mention *what* we are relying upon.

-- 
The quantum sort: 
	while (!sorted) { do_nothing(); }
Tyson Dowd   <tyson at tyse.net>   http://tyse.net/
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------