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

[Simon Taylor]

On 03-May-2002, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> 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?

It's in the BUGS file.

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