[m-rev.] for review: detect cycles in typeclass hierarchy

[Zoltan Somogyi]

On 19-Jan-2005, Mark Brown <mark at cs.mu.OZ.AU> wrote:
> The problem is not so much number of state changes, but number of paths
> through the code.  Using state variables avoids the need to add goals
> such as "Cycle = Cycle0" to paths that don't change the state, so in this
> case I think it is more readable to use state variables.

I agree.

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