13 Sep
2001
13 Sep
'01
7:53 a.m.
Personally I think this is ok, and it's compatible with the relaxed story about cumulative imports. I don't propose to change this unless there are yells. | So, it's not considered an error if you do something | like | | module A ( B(C), ...some other stuff..., B(D) ) where | ... | data B = C | D | | but C and D is exported. Is the extra flexibility of | allowing duplicates really worth it? Simon