>From daemon Mon Feb 17 09:29:55 1992
Received: from chalmers.se by ada with SMTP id AA01775
(5.65c8/IDA-1.4.4 for <[EMAIL PROTECTED]>); Mon, 17 Feb 1992 09:29:46
+0100
Received: by chalmers.se id AA12601; Mon, 17 Feb 92 09:29:40 +0100
X400-Received: by mta chalmers.se in /PRMD=sunet/ADMD= /C=se/; Relayed;
Mon, 17 Feb 1992 09:28:45 +0100
X400-Received: by /PRMD=UK.AC/ADMD= /C=GB/; Relayed;
Mon, 17 Feb 1992 09:14:22 +0100
X400-Received: by /PRMD=UK.AC/ADMD= /C=GB/; Relayed;
Mon, 17 Feb 1992 08:12:00 +0100
X400-Received: by /PRMD=UK.AC/ADMD= /C=GB/; Relayed;
Mon, 17 Feb 1992 01:59:49 +0100
X400-Received: by /PRMD=sunet/ADMD= /C=se/; Relayed;
Mon, 17 Feb 1992 01:59:48 +0100
X400-Received: by /PRMD=sunet/ADMD= /C=se/; Relayed;
Mon, 17 Feb 1992 01:59:32 +0100
X400-Received: by /PRMD=sunet/ADMD= /C=se/; Relayed;
Mon, 17 Feb 1992 01:58:02 +0100
X400-Received: by /PRMD=sunet/ADMD= /C=se/; Relayed;
Mon, 17 Feb 1992 01:58:02 +0100
X400-Received: by /PRMD=UK.AC/ADMD= /C=GB/; Relayed;
Mon, 17 Feb 1992 01:58:02 +0100
Date: Mon, 17 Feb 1992 01:58:02 +0100
X400-Originator: [EMAIL PROTECTED]
X400-Mts-Identifier: [/PRMD=UK.AC/ADMD= /C=GB/;<[EMAIL PROTECTED]]
X400-Content-Type: P2-1984 (2)
Content-Identifier: Modules again
From: Lennart Augustsson <[EMAIL PROTECTED]>
Sender: [EMAIL PROTECTED]
Message-Id: <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED]
Subject: Modules again
Original-Via: uk.ac.mhs; Mon, 17 Feb 92 08:05:02 GMT
X400-Received: by mta mhs-relay.ac.uk in /PRMD=UK.AC/ADMD= /C=GB/; Relayed;
Mon, 17 Feb 1992 00:59:49 +0000
X400-Received: by /PRMD=sunet/ADMD= /C=se/; Relayed;
Mon, 17 Feb 1992 00:59:48 +0000
X400-Received: by /PRMD=sunet/ADMD= /C=se/; Relayed;
Mon, 17 Feb 1992 00:59:32 +0000
X400-Received: by /PRMD=sunet/ADMD= /C=se/; Relayed;
Mon, 17 Feb 1992 00:58:02 +0000
X400-Received: by /PRMD=sunet/ADMD= /C=se/; Relayed;
Mon, 17 Feb 1992 00:58:02 +0000
X400-Originator: [EMAIL PROTECTED]
X400-Mts-Identifier: [/PRMD=sunet/ADMD= /C=se/;<[EMAIL PROTECTED]]
X400-Content-Type: P2-1984 (2)
Content-Identifier: Modules again
X-Charset: LATIN1
X-Char-Esc: 29
Well, here's another problem I've encountered. Consider this module:
module M(T) where
data T = T
Is this legal? Clearly I am just trying to export the type T, but it happens
that the type has a constructor with the same name. Naming a constructor
in the export list is explicitely forbidden. How can the compiler tell
if I intended naming the constructor or type in the export list?
So, what do you (especially Simon) say, legal or not?
-- Lennart
