[m-dev.] for review: bug fix for existential_rtti.m

[Zoltan Somogyi]

> > compiler/type_util.m:
> > 	Add a new predicate, type_util__real_vars, which is the same
> > 	as type_util__vars except it doesn't count type-info variables.
> > compiler/{continuation_info.m, hlds_pred.m, trace.m}:
> > 	Use type_util__real_vars rather than type_util__vars since the
> > 	latter was causing problems when calculating the live type-infos,
> > 	and causing the failure of the test case 
> > 	tests/hard_coded/existential_rtti.m in debug grade.
> 
> All your changes look fine.
> 
> The only thing I'm concerned about is that there
> may be some additional places which should be changed
> to use type_util__real_vars rather than type_util__vars
> or term__vars_list (or term__contains_var).
> 
> But at very least your change is an improvement on the
> status quo, so go ahead and commit it.

I strongly suspect that all finding and fixing all those additional places
will be only be at least half as much work as making typeinfo a builtin type,
but that this work will need to be redone when we do make typeinfo a builtin type.

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------