Another H'98 Report query

[Iavor S. Diatchki]

hi

On Thursday 31 January 2002 03:53 am, Malcolm Wallace wrote:
> > > I see no reason to disallow duplicates at the subordinate level if
> > > they are permitted otherwise.
> >
> > Well, disallowing duplicates here may improve error detection,
> > catching some unintentional typos and cut-and-paste errors.

how about: duplicates are allowed, but implementations are encouraged to
give warnings?

> By the same argument, we should disallow *all* duplicates, for instance
>
>     module M where ( T()
>                    , ...
>                    , T(..)
>                    )
>
> is just as likely to be a typo or cut-n-paste error, since the
> type/class is exported both with and without its constructors/methods.
> (I had a real example of this recently - when the export list is large,
> it can be difficult to spot the duplication.)

disallowing all duplicates seems tricky.  is there a duplicate here:

module A (f, module M) where
import M(f)

bye
iavor