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 IAA23018 for caml-redistribution; Wed, 13 Oct 1999 08:57:25 +0200 (MET DST)
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 RAA31331 for <caml-list@pauillac.inria.fr>; Tue, 12 Oct 1999 17:44:30 +0200 (MET DST)
Received: from tobago.inria.fr (tobago.inria.fr [128.93.8.21])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id RAA16964
	for <caml-list@inria.fr>; Tue, 12 Oct 1999 17:44:29 +0200 (MET DST)
Received: (from doligez@localhost) by tobago.inria.fr (8.6.10/8.6.6) id RAA20178 for caml-list@inria.fr; Tue, 12 Oct 1999 17:44:28 +0200
Date: Tue, 12 Oct 1999 17:44:28 +0200
From: Damien Doligez <Damien.Doligez@inria.fr>
Message-Id: <199910121544.RAA20178@tobago.inria.fr>
To: caml-list@inria.fr
Subject: Re: Proposal for study: Add a categorical Initial type to ocaml
Sender: weis

>From: John Prevost <prevost@maya.com>

>val Array.make_with_option (or something) : unit -> 'a option array
>
>which in some sort of "unsafe" mode doesn't actually initialize the
>array and guarantee that all values are well-formed.

That would break the invariants of the memory manager.

-- Damien