Re: CSL modules

Christophe Raffalli (raffalli@logique.jussieu.fr)
Tue, 5 Mar 1996 10:55:11 +0100

Date: Tue, 5 Mar 1996 10:55:11 +0100
From: raffalli@logique.jussieu.fr (Christophe Raffalli)
Message-Id: <199603050955.KAA10335@boole.logique.jussieu.fr>
To: Xavier.Leroy@inria.fr
Subject: Re: CSL modules

I have a question about modules:

Would it be possible to partially hide constructor:

It would be nice to be able to match a constructor but not to construct it or
vice versa (use full for exceptions for instance)

----
Christophe Raffalli
Dept. of Computer Sciences
Chalmers University of Technology

URL: http://www.logique.jussieu.fr/www.raffalli