[m-rev.] for review: module qualification of predicates in builtin modules

Fergus Henderson fjh at cs.mu.OZ.AU
Fri May 30 01:13:23 AEST 2003


On 30-May-2003, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> Module qualify the names of all predicates, even those in the builtin and
> private_builtin modules, in the LLDS backend. (This is already done by the MLDS
> backends.)

That looks fine.

> runtime/mercury_grade.h:
> 	Since two object files are incompatible if they refer to predicates
> 	in these modules by different names, bump the runtime compatibility
> 	version number.

Note that this isn't strictly *necessary*, since any such
incompatibility will result in a link error anyway, even if
the binary compatibility version number isn't bumped.
So I guess it is just a question of which error message is
likely to be more informative.  Much of a muchness either way, IMHO.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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