[m-rev.] for review: fix link error caused by abstract equivalent types

Simon Taylor stayl at cs.mu.OZ.AU
Tue Mar 23 21:47:56 AEDT 2004


On 23-Mar-2004, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> Fix a bug introduced by Simon's changes to equivalence types, which prevented
> the browser for compiling when the library was compiled without intermodule
> optimization. The symptom was a link error caused by the unify and compare
> predicates for io__stream being local to io.c. This is a problem because
> even though io__stream is primate to io.m, the browser generates references
> to its unify and compare predicates, because io__stream is on the right hand
> side of private type equivalences for io__input_stream and io__output_stream,
> which are exported by io.m, and we now expand those equivalences.

Looks fine.

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