From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <p.donadeo@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=2.4 required=5.0 tests=AWL,DNS_FROM_RFC_POST,
	SPF_NEUTRAL 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 A0B9EBBAF
	for <caml-list@yquem.inria.fr>; Fri,  5 Dec 2008 12:57:44 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ai4BAFOmOElKfS4dkGdsb2JhbACTEz4BAQEBCQkMBxEDrh2BA4tfAQMBA4MC
X-IronPort-AV: E=Sophos;i="4.33,721,1220220000"; 
   d="scan'208,223";a="32232433"
Received: from yw-out-2324.google.com ([74.125.46.29])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 05 Dec 2008 12:57:44 +0100
Received: by yw-out-2324.google.com with SMTP id 5so2274841ywb.3
        for <caml-list@yquem.inria.fr>; Fri, 05 Dec 2008 03:57:42 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:to
         :subject:mime-version:content-type:content-transfer-encoding
         :content-disposition;
        bh=sEb4Jy4SLPTtrPehETXEttW813mreFJTNu7ycQtHAbg=;
        b=FCbgHSnMiaZCsuhWPU52RKEueDkGC3IbQdXamtwqdtlWyu/V8v5Lkpl/CJR+ifhtM/
         yxg31htbEm1JYaMwnJ77LpCko7knOmWZMIe4Zg0DFmWX6BtMLv8TA25yXJye0YcdYtNa
         ea2FoRfS75POEhJ4645FFrIkmfS4+5WPEpT1A=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:mime-version:content-type
         :content-transfer-encoding:content-disposition;
        b=PVB5B47HeYCQoP79T/p7TnF/NVLj9VM0weXMzxHg4c6WJhz8On/nv7crJKjQRBjFaJ
         hg6R86csIjReAAFDzCH2rgt9EwXM912e8CnrbgySoWpxNQ6ZUIFxQHAd9osCP8pnBJyq
         RVFWcAcMCc18A4QIXpLXaFVe3wc6Vl1vHMGsw=
Received: by 10.142.162.9 with SMTP id k9mr6365401wfe.282.1228478262092;
        Fri, 05 Dec 2008 03:57:42 -0800 (PST)
Received: by 10.142.242.3 with HTTP; Fri, 5 Dec 2008 03:57:42 -0800 (PST)
Message-ID: <4b5157c30812050357v2e7524f3le367ca84ceda1c0b@mail.gmail.com>
Date: Fri, 5 Dec 2008 12:57:42 +0100
From: "Paolo Donadeo" <p.donadeo@gmail.com>
To: "OCaml mailing list" <caml-list@yquem.inria.fr>
Subject: New language feature in OCaml 3.11
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
X-Spam: no; 0.00; ocaml:01 ocaml:01 subtyping:01 abbreviation:01 polymorphic:01 polymorphic:01 monomorphic:01 anybody:07 elaborate:07 definition:07 tia:08 release:09 feature:09 instance:10 example:10 

>>From OCaml 3.11 release notes:

> - Subtyping is now allowed between a private abbreviation and its definition,
>  and between a polymorphic method and its monomorphic instance.

Is there anybody who wants to elaborate this with an example,
especially the second statement, regarding polymorphic methods?


TIA,

-- 
Paolo
~
~
:wq