From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0P1M6g2009197
	for <caml-list@sympa-roc.inria.fr>; Wed, 25 Jan 2012 02:22:06 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ap4EAKhYH0+FBoIF/2dsb2JhbABChQmqM4FyAQEEASMVCAMBNQEBAwsLGgImAgJXBogPCKYNaoM9jXUBBoEvh1oIAxEEAwkiAgMBgkgPCCaDFzNjiEGMYJJd
X-IronPort-AV: E=Sophos;i="4.71,565,1320620400"; 
   d="scan'208";a="141303177"
Received: from rabbit.math.nagoya-u.ac.jp (HELO mailhost.math.nagoya-u.ac.jp) ([133.6.130.5])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 25 Jan 2012 02:22:01 +0100
Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1])
	by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 3237A62A6;
	Wed, 25 Jan 2012 10:21:58 +0900 (JST)
Received: from mailhost.math.nagoya-u.ac.jp (camel-172.math.nagoya-u.ac.jp [172.16.254.4])
	by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id E7BC0395E;
	Wed, 25 Jan 2012 10:21:57 +0900 (JST)
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=math.nagoya-u.ac.jp; h=
	from:to:in-reply-to:subject:references:message-id:content-type
	:content-transfer-encoding:reply-to:mime-version:date:cc; s=
	alpha; bh=4DYXkgY1O3fiHhz50mb4Kt3Spgk=; b=0aP2zWf8vnNms9NsjkPz/J
	T29z8LlnL3iBnIVDvfSoXYzU8WPYSqzr4Nmcm7W0bt9IWmcDvtTf8IMPKVYpY6nz
	HONs9etEEyeZSIGWebeiyIoi2NHlekm1WqFsF3RHZD4zowLFDq935xoLj45R6nSe
	rBcZe3K05u/7guzxVMmRc=
DomainKey-Signature: a=rsa-sha1; h=Received:From:To:In-Reply-To:Subject:References:Message-Id:Content-Type:Content-Transfer-Encoding:Reply-To:Mime-Version:Date:Cc:X-Mailer; b=Eb3l1kzDIxCLlpZR/Lr0UkO+zixMMwMm9qPwM12uvCw78sTyYyPyZ8YNp07ysb/lGhYVn4fE9QLpm2b7+4n+S1O1MrDUKKjtcara2fZC5UUJL/v+gw3Z9ZgYEVq8N6Lp+cjFK7M6CPsPn5al0/TfXHB4pwdMv7waBwZPRBTaOJ0=; c=nofws; d=math.nagoya-u.ac.jp; q=dns; s=alpha
Received: from millas.math.nagoya-u.ac.jp (millas.math.nagoya-u.ac.jp [172.16.30.29])
	by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id DB215255D;
	Wed, 25 Jan 2012 10:21:57 +0900 (JST)
From: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
To: =?UTF-8?Q?Milan_Stanojevi=C4=87?= <milanst@gmail.com>
In-Reply-To: <CAKR7PS--dSuJvqyVTwQRLuKvfvrKE0t9dZw6xo5WVySsQyQgrQ@mail.gmail.com>
References: <CAKR7PS95d1vL3smxojbMoGj=tXgm8Xu52PUKmfodDyFSRH+QzA@mail.gmail.com> <2FA31185-B4C7-48D3-8C3C-771756CB26AA@math.nagoya-u.ac.jp> <CAKR7PS--dSuJvqyVTwQRLuKvfvrKE0t9dZw6xo5WVySsQyQgrQ@mail.gmail.com>
Message-Id: <D7239DAC-FABB-460E-8600-5E976D0C0391@math.nagoya-u.ac.jp>
Content-Type: text/plain; charset=UTF-8; format=flowed; delsp=yes
Reply-To: garrigue@math.nagoya-u.ac.jp
Mime-Version: 1.0 (Apple Message framework v936)
Date: Wed, 25 Jan 2012 10:21:57 +0900
Cc: caml-list@inria.fr
X-Mailer: Apple Mail (2.936)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q0P1M6g2009197
Subject: Re: [Caml-list] polymorphic variants in match statements

On 2012/01/25, at 2:42, Milan Stanojević wrote:

> Thanks a lot, Jacques!
> This helped my understanding a lot.
>
> I only wonder if maybe this (and other type checking issues) could be
> documented in a better way. For example I couldn't find any links to
> your papers on OCaml website

Actually they are there, but maybe not so visible.
There is a "papers" section in the "about" part of the site.
(Follow the link under the title)

http://caml.inria.fr/about/papers.en.html

Curiously there is no direct link from the "comprehensive"  
documentation index :-)

Jacques Garrigue