From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA12048 for caml-red; Mon, 22 May 2000 18:13:12 +0200 (MET DST) 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 DAA21676 for ; Mon, 22 May 2000 03:00:21 +0200 (MET DST) Received: from motgate.mot.com (motgate.mot.com [129.188.136.100]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e4M10K506162 for ; Mon, 22 May 2000 03:00:20 +0200 (MET DST) Received: [from pobox.mot.com (pobox.mot.com [129.188.137.100]) by motgate.mot.com (motgate 2.1) with ESMTP id SAA20014 for ; Sun, 21 May 2000 18:00:19 -0700 (MST)] Received: [from fraser.asc.corp.mot.com (fraser.asc.corp.mot.com [217.1.104.8]) by pobox.mot.com (MOT-pobox 2.0) with ESMTP id SAA22753 for ; Sun, 21 May 2000 18:00:16 -0700 (MST)] Received: from motorola.com (jaguar [217.1.104.76]) by fraser.asc.corp.mot.com (8.8.7/8.8.7) with ESMTP id KAA23655 for ; Mon, 22 May 2000 10:30:14 +0930 (CST) Sender: weis Message-ID: <392886A9.A6090EBF@motorola.com> Date: Mon, 22 May 2000 10:30:25 +0930 From: "Dennis (Gang) Chen" Organization: Motorola Australia Software Centre X-Mailer: Mozilla 4.5 [en] (X11; I; SunOS 5.5.1 sun4u) X-Accept-Language: en MIME-Version: 1.0 To: "caml-list@inria.fr" Subject: Can max_array_length be enlarged? Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Hi, In ocaml, the max length of array is determined by the predefined constant max_array_length. Is it possible to build an array with length longer than this? I noticed that this constant is defined in source code sys.ml by: let max_array_length = (1 lsl (word_size - 10)) - 1;; Is it safe to modify this code to set a bigger value for max_array_length? Thank you in advance for any help on this point. -- Dennis Gang CHEN Senior Software Engineer Motorola Australia Software Centre, Electronic Design Automation 2 Second Avenue, Mawson Lakes, SA 5095, Australia phone: +61 8 8203 3560, mailto: Dennis.G.Chen@motorola.com