On 31-Jan-2002, Malcolm Wallace [EMAIL PROTECTED] wrote:
The subordinate names c_i (f_i) must not contain duplicates.
Yet later in the text it is stated that
Exports lists are cumulative: the set of entities exported by an
export list is the union of the entities exported by
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.
By the same argument, we should disallow *all* duplicates, for
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.
disallowing all duplicates seems tricky. is there a duplicate here:
module A (f, module M) where
import M(f)
Yes, there is a duplicate here. Strangely enough, hbc does not report
this as an error, even though it refuses to compile the following
very similar case:
module A (f, module A)
hi again,
On Thursday 31 January 2002 10:18 am, Malcolm Wallace wrote:
disallowing all duplicates seems tricky. is there a duplicate here:
module A (f, module M) where
import M(f)
Yes, there is a duplicate here. Strangely enough, hbc does not report
this as an error, even though it