From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <kathy08@gmail.com>
Delivered-To: caml-list@yquem.inria.fr
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78])
	by yquem.inria.fr (Postfix) with ESMTP id 72FACBB91
	for <caml-list@yquem.inria.fr>; Thu, 30 Dec 2004 03:47:37 +0100 (CET)
Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.200])
	by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iBU2laGb030601
	for <caml-list@yquem.inria.fr>; Thu, 30 Dec 2004 03:47:37 +0100
Received: by wproxy.gmail.com with SMTP id 71so783728wra
        for <caml-list@yquem.inria.fr>; Wed, 29 Dec 2004 18:47:36 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:reply-to:to:subject:mime-version:content-type:content-transfer-encoding;
        b=DsifYq6gqC1rSXvpmT2GXkr1vQ+gMRQMnOR1WC2x1MxKu26MMVC1zllvuhGFv11edk0B5wzqKbWN7RBoNn/r7zT/ZylLGsPn35axe9MzjuPHJozNG34wx608tdrjnL14q3PvfjSE2F6Rj0gLLmTa0WAoGZ+dfF6WtFFN96RTM8Y=
Received: by 10.54.10.55 with SMTP id 55mr468947wrj;
        Wed, 29 Dec 2004 18:47:36 -0800 (PST)
Received: by 10.54.40.15 with HTTP; Wed, 29 Dec 2004 18:47:36 -0800 (PST)
Message-ID: <2145c6e80412291847c40fc92@mail.gmail.com>
Date: Wed, 29 Dec 2004 19:47:36 -0700
From: Kathy Chen <kathy08@gmail.com>
Reply-To: Kathy Chen <kathy08@gmail.com>
To: caml-list@yquem.inria.fr
Subject: A basic question
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
X-Miltered: at nez-perce with ID 41D36C48.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; warnings:02 let:03 let:03 exhaustive:03 i'm:08 setting:09 think:10 question:11 thanks:16 basic:17 don't:18 two:18 could:20 understand:21 anyone:21 
X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr
X-Spam-Status: No, score=0.5 required=5.0 tests=FROM_ENDS_IN_NUMS,RCVD_BY_IP 
	autolearn=disabled version=3.0.0
X-Spam-Level: 

Hi, all,

I'm a newcomer here.
I don't understand why the following two
    let [x;y;z] = [1;2;3] ;;
and
    let [x;y;z] = [1;2;3;4] ;;
have warnings: "this pattern-matching is not exhaustive".
I think they just setting values for x, y, and z.

Could anyone pls tell me why?

Thanks.
Kathy