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 QAA14100 for caml-redistribution; Thu, 26 Nov 1998 16:34:43 +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 OAA31474 for <caml-list@pauillac.inria.fr>; Wed, 25 Nov 1998 14:57:12 +0100 (MET)
Received: from mail5.microsoft.com (mail5.microsoft.com [131.107.3.121])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id OAA17308
	for <caml-list@inria.fr>; Wed, 25 Nov 1998 14:57:10 +0100 (MET)
Received: by INET-IMC-05 with Internet Mail Service (5.5.2232.9)
	id <X38ZST3X>; Wed, 25 Nov 1998 05:57:06 -0800
Message-ID: <39ADCF833E74D111A2D700805F1951EF0B2EF63B@RED-MSG-06>
From: Don Syme <dsyme@microsoft.com>
To: caml-list@inria.fr
Subject: arrays and type variables...
Date: Wed, 25 Nov 1998 05:57:03 -0800
X-Mailer: Internet Mail Service (5.5.2232.9)
Sender: weis


Shouldn't "[| [] |]" count as a value??

bash$ ocaml
        Objective Caml version 2.00

# let x = [| [] |];;
val x : '_a list array = [|[]|]
# let x = [];;
val x : 'a list = []
# let x = [| |];;
val x : 'a array = [||]
#

Cheers,
Don