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
>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
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:27 MET