From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA15054 for caml-redistribution; Sun, 24 Jan 1999 15:41:08 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA18803 for ; Sat, 23 Jan 1999 11:57:31 +0100 (MET) Received: from nef.ens.fr (nef.ens.fr [129.199.96.12]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id LAA17722 for ; Sat, 23 Jan 1999 11:57:30 +0100 (MET) Received: from clipper.ens.fr (clipper-gw.ens.fr [129.199.1.22]) by nef.ens.fr (8.8.8/jtpda-5.1) with ESMTP id LAA28695 for ; Sat, 23 Jan 1999 11:57:29 +0100 (MET) Received: from brick.ens.fr (monniaux@brick [129.199.129.13]) by clipper.ens.fr (8.8.7/jb-1.1) id LAA11853 for ; Sat, 23 Jan 1999 11:57:29 +0100 (MET) Received: from localhost (monniaux@localhost) by brick.ens.fr (8.8.7/jb-1.1) id LAA05458 for ; Sat, 23 Jan 1999 11:57:28 +0100 (MET) X-Authentication-Warning: brick.ens.fr: monniaux owned process doing -bs Date: Sat, 23 Jan 1999 11:57:28 +0100 (MET) From: David Monniaux X-Sender: monniaux@brick.ens.fr To: Liste CAML Subject: Re: Array interface question In-Reply-To: <199901221921.UAA10085@pauillac.inria.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis On Fri, 22 Jan 1999, Pierre Weis wrote: > > Why is there no creation function which does not take a default > > value for filling the array? Perhaps the solution is to have an improved implementation of the 'a option type, where a NULL pointer would mean "None" and anything else would be the element of type 'a. Is there anything wrong with this approach? [except that it could break some interfaced C code that relies on NULL pointers in "private" types..] Regards, D. Monniaux