[m-rev.] for review: read `.opt' files transitively

[Zoltan Somogyi]

On 27-Apr-2002, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 	Add module qualifiers to calls to `member' and `map'.  These are
> 	needed now that the equivalence `:- type set(T) == list(T)' is
> 	exposed with inter-module optimization.

I haven't read the rest of the post, but this worries me a lot. The correctness
of a module shouldn't depend on whether inter-module optimization is enabled,
even if enabling is compulsory for some grades.

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