From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <francois.pottier@inria.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 42BB47F7B4
	for <caml-list@sympa.inria.fr>; Fri, 14 Feb 2014 13:20:36 +0100 (CET)
X-IronPort-AV: E=Sophos;i="4.95,844,1384297200"; 
   d="scan'208";a="58484483"
Received: from yquem.inria.fr ([128.93.8.37])
  by mail2-relais-roc.national.inria.fr with ESMTP; 14 Feb 2014 13:20:36 +0100
Received: by yquem.inria.fr (Postfix, from userid 18965)
	id 29199E1923; Fri, 14 Feb 2014 13:20:36 +0100 (CET)
Date: Fri, 14 Feb 2014 13:20:36 +0100
From: Francois Pottier <Francois.Pottier@inria.fr>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
Cc: Ashish Agarwal <agarwal1975@gmail.com>, Caml List <caml-list@inria.fr>
Message-ID: <20140214122036.GB14320@yquem.inria.fr>
Reply-To: Francois.Pottier@inria.fr
References: <CAMu2m2LNpu=NmrALDcgpXJDZg+haS7f5UxDsdtBP7Gh4rhFUWw@mail.gmail.com>
 <CAPFanBHDYRZBDDopEtMofcGk4+J7Wr0DUKnKb8ArR-u5SZ2Xrw@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <CAPFanBHDYRZBDDopEtMofcGk4+J7Wr0DUKnKb8ArR-u5SZ2Xrw@mail.gmail.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: Re: [Caml-list] menhir types cannot be open polymorphic variant


Thanks for reporting this and thanks to Gabriel for the patch suggestion.
This will be fixed in the next release of Menhir.

-- 
François Pottier
Francois.Pottier@inria.fr
http://gallium.inria.fr/~fpottier/