From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5L93md4013370
	for <caml-list@sympa-roc.inria.fr>; Tue, 21 Jun 2011 11:03:49 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AjcCAKNSAE7RVdU2kGdsb2JhbAA+AQMShEmiHAgUAQEBAQkJDQcUBCGrZot/PoJHhGg5iGYBAQMGgSWDdYEKBIccikqLezyDUg
X-IronPort-AV: E=Sophos;i="4.65,400,1304287200"; 
   d="scan'208";a="101679479"
Received: from mail-yw0-f54.google.com ([209.85.213.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Jun 2011 10:56:01 +0200
Received: by ywf7 with SMTP id 7so3866775ywf.27
        for <caml-list@inria.fr>; Tue, 21 Jun 2011 01:55:59 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:in-reply-to:references:date
         :message-id:subject:from:to:content-type;
        bh=HZn2RR/BRy5qYAo44dmlzyH8+jh0GH8duRj0XbZxoUE=;
        b=CkpQig7PCLJeRtmJa9D77d7OVwlXKWP/T/nWpP+qfE5eb6eRpnf1qkx+VNgjA0IBK2
         I2PqcxTxQSH3XxR2VzCgpt2/ok2zGItQXZOTJYb+52jru/AenMU5UuKsS+MixgW2C+26
         l/yRQXGBoxoGBa+XKPmoJ6O2QWKshEpWPUzOY=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :content-type;
        b=o2Yn9A8jMLt0Aq9AHWjP04jmjR2UxUOiijLxNqeXfQ5B3rrL7L2sL4JPI6KA2NwXZE
         AGg/cRY4xpqZpAAzYrfm5VcOabUohnowwd1wiokuXIdq2ahhqQipbjI8IwLhCXxalrOw
         3Yvp6MOpI+d77kfCJvKCqXmz93MU4c3SIHRzg=
MIME-Version: 1.0
Received: by 10.150.251.21 with SMTP id y21mr7046114ybh.273.1308646559906;
 Tue, 21 Jun 2011 01:55:59 -0700 (PDT)
Received: by 10.150.212.8 with HTTP; Tue, 21 Jun 2011 01:55:59 -0700 (PDT)
In-Reply-To: <A298E6EA-54DE-45EA-900B-740258C18E61@math.nagoya-u.ac.jp>
References: <BANLkTi=jqHn_u3nWXM4t_K2T30Byh55AXA@mail.gmail.com>
	<A298E6EA-54DE-45EA-900B-740258C18E61@math.nagoya-u.ac.jp>
Date: Tue, 21 Jun 2011 11:55:59 +0300
Message-ID: <BANLkTimfoVS3YpwqEEabYErXMi8oZQDONQ@mail.gmail.com>
From: Dmitry Grebeniuk <gdsfh1@gmail.com>
To: Jacques Garrigue <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] value restriction and records' rank-2 polymorphism

Hello, Jacques.

  Thanks for reply!  I'll use records for <3.12 without any fear of
future changes, and will use your nice solution with first-class
modules when I'll have >=3.12 everywhere I need to compile
my code on.