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

[Julien Fischer]

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.

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