[m-rev.] for review: dependency tracking

Zoltan Somogyi zs at cs.mu.OZ.AU
Sun Apr 21 13:45:11 AEST 2002


On 21-Apr-2002, Mark Brown <dougl at cs.mu.OZ.AU> wrote:
> I disagree with this part of the change, and I think you should undo it.
> The names were following a consistent pattern: the type variables
> constrained by the typeclass mercury_edt/2 were always named S and T, and
> the type variables constrained by the typeclass annotated_trace/2 (which is
> a lower level representation of the same data) were always named S and R.

So which type variable should the declaration of subterm_origin use? It is
sometimes constrained by mercury_edt and sometimes by annotated_trace.

In other words, I don't think your original pattern *can* be applied
consistently.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list