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.2 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 63B9EBBCA
	for <caml-list@yquem.inria.fr>; Tue,  1 Apr 2008 04:27:33 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmgCAMs68UfRVYTzc2dsb2JhbACCPDaOVwEMAwQFCRSTa4Rd
X-IronPort-AV: E=Sophos;i="4.25,584,1199660400"; 
   d="scan'208";a="24426223"
Received: from an-out-0708.google.com ([209.85.132.243])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 01 Apr 2008 04:27:32 +0200
Received: by an-out-0708.google.com with SMTP id b15so603769ana.102
        for <caml-list@yquem.inria.fr>; Mon, 31 Mar 2008 19:27:31 -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=gI4Ka3mCDeN/lEXCil6aAWiOE2Zdijo2T6finwoy2Vs=;
        b=iKLiOqKQ1ehsRe71D8p61Bvboluv+2wP+ULJBo04bGfsU7lSkUnHWes1FGjZZU98QZyTLPC6Lepo3B/PzQASTVABG9u7EuCSocRjE56EBiBHg/X2rBewu2o8xZXQCtwanFrwbUGkn0FP7eGFD7lidPhYCtfXVR+i7yXqml1czfE=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=message-id:date:from:to:subject:mime-version:content-type;
        b=PZKq1JJHP+xmszAVXWwCX870BVRuBZvQufAERp9OdhsBOzMqQb+xRIaISZn28YNEM9dywJK5Uyn8hfa46guJpK52TfmAFwFkDubUrPoVAr8MKg8C/1yJqxbl2Kne6G50FiK59CbtzT9DcEz+aRXUXMgCVRsqumtUfI5RGkcc43Y=
Received: by 10.100.172.16 with SMTP id u16mr2159575ane.100.1207016851446;
        Mon, 31 Mar 2008 19:27:31 -0700 (PDT)
Received: by 10.100.215.4 with HTTP; Mon, 31 Mar 2008 19:27:31 -0700 (PDT)
Message-ID: <f74178430803311927u3c1cbd2at8d30e6a85fb42d10@mail.gmail.com>
Date: Mon, 31 Mar 2008 22:27:31 -0400
From: "Jacques Le Normand" <rathereasy@gmail.com>
To: "caml-list caml-list" <caml-list@yquem.inria.fr>
Subject: type error
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_34959_3601089.1207016851417"
X-Spam: no; 0.00; abbreviation:01 abbreviation:01 caml-list:01 caml-list:01 inherit:01 inherit:01 jacques:03 expands:07 expands:07 head:90 head:90 object:09 object:09 end:12 end:12 

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

hello caml-list
thanks for all the help so far; it's been very educational
there's a type error I can't get my head around:


class a =
object
end

and b =
object
  inherit a
  method d (e : b) = (e :> a)
end


gives the error:

The abbreviation b expands to type < d : b -> a > but is used with type <  >

why is this?

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

hello caml-list<br>thanks for all the help so far; it&#39;s been very educational<br>there&#39;s a type error I can&#39;t get my head around:<br><br><br>class a = <br>object<br>end<br>&nbsp; <br>and b =<br>object<br>&nbsp; inherit a<br>
&nbsp; method d (e : b) = (e :&gt; a)<br>end<br><br><br>gives the error:<br><br>The abbreviation b expands to type &lt; d : b -&gt; a &gt; but is used with type &lt;&nbsp; &gt;<br><br>why is this?<br>

------=_Part_34959_3601089.1207016851417--