[m-rev.] for review: fix equivalence type performance problems

[Zoltan Somogyi]

On 18-Dec-2003, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> The proper fix here is to change the representation of
> types to something more efficient to work with.

A simpler representation would also be *easier* to work with. We should go
with Simon's diff as the solution for now, and aim to replace the type
representation over the next few months. Sam's project will in any case
probably involve replacing major parts of the current typechecker,
if not all of it.

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