Re: a nit

[fplangc-request@cs.ucl.ac.uk]

From: fplangc-request@cs.ucl.ac.uk
Date: 30 May 91 17:29
Sender: Philip Wadler <wadler@cs.glasgow.ac.uk>
To: fplangc@cs.ucl.ac.uk
Cc: simonpj@cs.glasgow.ac.uk, wadler@cs.glasgow.ac.uk
Subject: Re: a nit

X-Comment1: #############################################################
X-Comment2: # uk.ac.glasgow.cs has changed to uk.ac.glasgow.dcs #
X-Comment3: # If this address does not work please ask your mail #
X-Comment4: # administrator to update your NRS & mailer tables. #
X-Comment5: #############################################################

| I conclude that there must be a single namespace for classes, type
| constructors and modules.  Modification required to Section 1.4.

Seems a bit odd that value constructors are excluded.  Maybe
we should just go whole hog and say that there is only one namespace.
This gets rid of one of our favourite puns, namely

	data  Feet = Feet Float,

or whatever.  But the uninitiated are likely to find the above
confusing anyway.  Let's go for simplicity: ONE NAMESPACE!  Cheers, -- P