From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id LAA11934 for caml-redistribution; Tue, 5 Mar 1996 11:39:27 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id KAA11087 for ; Tue, 5 Mar 1996 10:55:04 +0100 Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id KAA16197 for ; Tue, 5 Mar 1996 10:55:03 +0100 (MET) Received: from boole.logique.jussieu.fr (boole.logique.jussieu.fr [134.157.19.17]) by shiva.jussieu.fr (8.7.3/jtpda-5.2) with ESMTP id KAA16297 ; Tue, 5 Mar 1996 10:55:02 +0100 (MET) Received: by boole.logique.jussieu.fr (8.6.10/jtpda-4.0); 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 CC: Guy.Cousineau@ens.fr, caml-list@pauillac.inria.fr In-reply-to: <199603041405.PAA26261@pauillac.inria.fr> (message from Xavier Leroy on Mon, 4 Mar 1996 15:05:49 +0100 (MET)) Subject: Re: CSL modules Sender: weis 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