From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA22919; Tue, 15 Jul 2003 10:02:52 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA05628 for ; Tue, 15 Jul 2003 10:02:50 +0200 (MET DST) Received: from feu.irisa.fr (feu.irisa.fr [131.254.130.34]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h6F82mf10084; Tue, 15 Jul 2003 10:02:48 +0200 (MET DST) Received: from cafe.irisa.fr (cafe.irisa.fr [131.254.22.19]) by feu.irisa.fr (8.11.4/8.11.4) with ESMTP id h6F82ed15245; Tue, 15 Jul 2003 10:02:40 +0200 (MET DST) Date: Tue, 15 Jul 2003 10:02:40 +0200 (CEST) From: Laurent Vibert To: John Max Skaller cc: Pierre Weis , , Subject: Re: [Caml-list] syntax of private constructors in CVS version In-Reply-To: <3F11224B.10106@ozemail.com.au> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-MailScanner: Found to be clean X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 pierre:01 weis:01 variance:01 foo:01 explicitely:01 mutable:01 constructors:01 syntax:02 wrote:03 exported:03 irisa:04 functions:05 cvs:05 jul:06 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sun, 13 Jul 2003, John Max Skaller wrote: > Pierre Weis wrote: > > > > Records with mutable fields are permitted. Mutators explicitely exported > > as functions are allowed, other mutations are forbidden. > So just a question : since mutations are forbidden, would it be safe to relaxe the variance for mutable field, to allow something like type +'a foo = private {mutable it : 'a} ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners