a nit

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

From: fplangc-request@cs.ucl.ac.uk
Date: 30 May 91 15:39
Sender: Simon L Peyton Jones <simonpj@cs.glasgow.ac.uk>
To: fplangc@cs.ucl.ac.uk
Subject: 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: #############################################################


Suppose we have this

	module A( B.. )
	import B
	class B a where 
		...stuff...

What is exported?  The things imported from B, or the class B? 

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

Unless I've missed anything... John Peterson esp: is this right?

Simon