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

[Tyson Dowd]

On 29-Apr-2002, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 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).

Then shouldn't it should be documented somewhere that the module system is
broken and that it is unlikely to ever be fixed?

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