> Mon, 24 Jul 2000 22:16:32 +1000, Manuel M. T. Chakravarty
> <[EMAIL PROTECTED]> pisze:
>
> [...]
> > we get an executable that dumps core (as the Pretty module in
> > `-package text' also defines a data type `Doc').
>
> With correct dependencies in Makefile Pretty should be compiled
> before Main. Then GHC should complain about duplicate Pretty.hi.
>
> It currently does not. AFAIR for a while it used to warn, but it has
> been turned off because it was getting the same directory multiple
> times (spelled differently) and for some reason it was difficult
> to fix.
This can now be turned back on, because the new driver doesn't pass
duplicate directories to the compiler proper.
Cheers,
Simon
