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

[Simon Taylor]

On 28-Apr-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 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.

This isn't a new problem, this change just causes it to occur more often.
The problem is that equivalence types are expanded before type checking.
Fixing this would be very difficult due to the number of places in the
compiler that assume that they have been expanded (I think Robert Jeschofnik
and Fergus tried to fix this a while ago and gave up).

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