From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rathereasy@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.3 required=5.0 tests=AWL,HTML_MESSAGE 
	autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 8C369BBC1
	for <caml-list@yquem.inria.fr>; Sun, 23 Mar 2008 23:01:46 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AggEAK9w5kfRVYT0ZWdsb2JhbACCPTaOJA0DBA4UkQeDIw
X-IronPort-AV: E=Sophos;i="4.25,544,1199660400"; 
   d="scan'208";a="24108157"
Received: from an-out-0708.google.com ([209.85.132.244])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Mar 2008 23:01:35 +0100
Received: by an-out-0708.google.com with SMTP id b15so617053ana.102
        for <caml-list@yquem.inria.fr>; Sun, 23 Mar 2008 15:01:34 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=beta;
        h=domainkey-signature:received:received:message-id:date:from:to:subject:mime-version:content-type;
        bh=TA6xcdUXkaJ88QU6EE5cstla9AdrCF5rNRbKKrzWcBY=;
        b=IktJuJ1jEJS+ahJoy4ktJlTmbXNNlaTbgoK5Mxsq1bKg598oyqyZzk18anY/NWDV1qmatDN0K/Vh/TLMevTTrV5OKStP4UV2MH5qzxCN5n9lQc3ggKojgjtM8s0MOPSHg6XZF5Dx+NF5Khn25qzxEMOVpFcjx+zOJX/+s8qpZ1o=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=message-id:date:from:to:subject:mime-version:content-type;
        b=H8boNLb9auSqWPZXf6S4KOVkQVP/Ew0MpsA3So0Sc2G9V2713/YJ1i8ADG2IhqXn960JkWr0uhOUHsDN2G0fChJTd7jpqYOusnWNUPFDe90BQlA5QHKYw1nJb1kf0WH4nwRiuOVt59TypUYWhNn1sV0MqGR9Db2ch2fbtxohpAY=
Received: by 10.100.110.16 with SMTP id i16mr16132336anc.8.1206309694726;
        Sun, 23 Mar 2008 15:01:34 -0700 (PDT)
Received: by 10.100.215.4 with HTTP; Sun, 23 Mar 2008 15:01:34 -0700 (PDT)
Message-ID: <f74178430803231501x31a22497w89271b3d2f8a5c4@mail.gmail.com>
Date: Sun, 23 Mar 2008 18:01:34 -0400
From: "Jacques Le Normand" <rathereasy@gmail.com>
To: caml-list@yquem.inria.fr
Subject: type error
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_15067_27164846.1206309694709"
X-Spam: no; 0.00; foo:01 cheers:01 foo:01 cheers:01 unbound:01 unbound:01 caml-list:01 caml-list:01 int:01 int:01 declaration:02 declaration:02 jacques:03 variable:06 variable:06 

------=_Part_15067_27164846.1206309694709
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

Hello caml-list,
I don't quite understand what the error is here:

 type foo = <bar:int;..>

error:

A type variable is unbound in this type declaration.
In definition < bar : int; .. > the variable 'a is unbound


cheers
--Jacques

------=_Part_15067_27164846.1206309694709
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

Hello caml-list,<br>I don&#39;t quite understand what the error is here:<br><br>&nbsp;type foo = &lt;bar:int;..&gt;<br><br>error:<br><br>A type variable is unbound in this type declaration.<br>In definition &lt; bar : int; .. &gt; the variable &#39;a is unbound<br>
<br><br>cheers<br>--Jacques<br>

------=_Part_15067_27164846.1206309694709--