From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_WHOIS autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id A1064BBAF for ; Sat, 10 Jan 2009 18:48:51 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.37,244,1231110000"; d="vcf'?scan'208";a="22269682" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 Jan 2009 18:48:51 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id n0AHmoEk013195 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 10 Jan 2009 18:48:51 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjoDAFpuaEmK54gDgWdsb2JhbACUDwEBFiK8BoVv X-IronPort-AV: E=Sophos;i="4.37,244,1231110000"; d="vcf'?scan'208";a="19405223" Received: from rouge.crans.org ([138.231.136.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 10 Jan 2009 18:48:50 +0100 Received: from localhost (localhost.crans.org [127.0.0.1]) by rouge.crans.org (Postfix) with ESMTP id AF6398175; Sat, 10 Jan 2009 18:48:47 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at crans.org Received: from rouge.crans.org ([10.231.136.3]) by localhost (rouge.crans.org [10.231.136.3]) (amavisd-new, port 10024) with LMTP id iH6o2rMf8UNH; Sat, 10 Jan 2009 18:48:47 +0100 (CET) Received: from [138.231.138.177] (krypton.crans.org [138.231.138.177]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by rouge.crans.org (Postfix) with ESMTP id 858D9808D; Sat, 10 Jan 2009 18:48:47 +0100 (CET) Message-ID: <4968DF62.1030306@dptinfo.ens-cachan.fr> Date: Sat, 10 Jan 2009 18:48:18 +0100 From: Antoine Delignat-Lavaud Organization: ENS Cachan User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; fr; rv:1.8.1.19) Gecko/20081209 Lightning/0.9 Thunderbird/2.0.0.19 Mnenhy/0.7.5.666 MIME-Version: 1.0 To: blue storm Cc: caml-list@inria.fr Subject: Re: [Caml-list] Why does value restriction not apply to the empty list ? References: <496887BE.8030804@dptinfo.ens-cachan.fr> <527cf6bc0901100556n40b54b0amff84a7707aacb0ae@mail.gmail.com> In-Reply-To: <527cf6bc0901100556n40b54b0amff84a7707aacb0ae@mail.gmail.com> Content-Type: multipart/mixed; boundary="------------090504050202040405080909" X-Miltered: at discorde with ID 4968DF82.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml's:01 storm:98 04.:98 caml-list:01 ens-cachan:01 short:01 caml:02 caml:02 blue:96 generalized:04 types:05 multi-part:94 restriction:05 restriction:05 X-Attachments: cset="utf-8" name="antoine_delignat-lavaud.vcf" name="antoine_delignat-lavaud.vcf" This is a multi-part message in MIME format. --------------090504050202040405080909 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit blue storm a écrit : > OCaml uses a relaxed value restriction : types in covariant-only > positions (as the 'a in 'a list) are generalized. See paper [3] of > http://caml.inria.fr/about/papers.en.html : > http://caml.inria.fr/pub/papers/garrigue-value_restriction-fiwflp04.pdf > Thank you for your short but accurate explanation. I would have known, since I cited this paper in my query, if only I was more familiar with ocaml's type inferer. Regards, Antoine Delignat-Lavaud --------------090504050202040405080909 Content-Type: text/x-vcard; charset=utf-8; name="antoine_delignat-lavaud.vcf" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="antoine_delignat-lavaud.vcf" begin:vcard fn:Antoine Delignat-Lavaud n:Delignat-Lavaud;Antoine org;quoted-printable:ENS Cachan;=C3=89l=C3=A8ve au d=C3=A9partement d'informatique adr;dom:;;M310;Cachan email;internet:antoine.delignat-lavaud@dptinfo.ens-cachan.fr tel;cell:0608401862 version:2.1 end:vcard --------------090504050202040405080909--