[m-rev.] diff: equiv types in interface files

Julien Fischer juliensf at cs.mu.OZ.AU
Sun May 22 21:22:32 AEST 2005

On Sun, 22 May 2005, Mark Brown wrote:

> Hi,
> This problem was causing my kind inference pass to abort due to undefined
> types.  I'm going to go ahead and commit it so I can continue to work
> on kind checking -- this change has already passed bootcheck.  If there
> are any issues I shall address them post-commit.
> Cheers,
> Mark.
> Estimated hours taken: 4
> Branches: main
> compiler/modules.m:
> 	When determining the type constructors that are needed in the
> 	implementation section of an interface file, unfold equivalence
> 	types until no more type constructors are added, rather than
> 	just unfolding one level.
> 	Previously, there could be equivalence types referred to in the
> 	implementation section which would not actually be defined anywhere
> 	visible.  Later processing of all type definitions may have led to
> 	map lookup failures.

That looks fine.

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