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 _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
