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 p83CpaOH028832
	for <caml-list@sympa-roc.inria.fr>; Sat, 3 Sep 2011 14:51:36 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AioCAG0iYk5V2gB4i2dsb2JhbABCqQABAQEKCwsbJoFGAQEEAUckDgULC0YUKCGIBgKpTY1yDoV8YASkPQ
X-IronPort-AV: E=Sophos;i="4.68,324,1312149600"; 
   d="scan'208";a="118219146"
Received: from emailfrontal1.citycable.ch ([85.218.0.120])
  by mail1-smtp-roc.national.inria.fr with SMTP; 03 Sep 2011 14:51:31 +0200
X-Alinto-smtpauth-localdomain: Yes
Received: from seldon (unknown [85.218.93.239])
	(Authenticated sender: guillaume.yziquel@citycable.ch)
	by emailfrontal1.citycable.ch (Postfix) with ESMTPA id E0B1EE6405A;
	Sat,  3 Sep 2011 14:51:24 +0200 (CEST)
Received: from yziquel by seldon with local (Exim 4.72)
	(envelope-from <guillaume.yziquel@citycable.ch>)
	id 1QzpgH-0007N9-Qk; Sat, 03 Sep 2011 14:50:41 +0200
Date: Sat, 3 Sep 2011 14:50:41 +0200
From: Guillaume Yziquel <guillaume.yziquel@citycable.ch>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
Cc: Philippe Veber <philippe.veber@gmail.com>,
        Goswin von Brederlow <goswin-v-b@web.de>, caml-list@inria.fr
Message-ID: <20110903125041.GC15100@localhost>
References: <87ty8uc5ph.fsf@frosties.localnet>
 <20110903103653.GX15100@localhost>
 <CAOOOohT0v8zrEE6TbzL9RXn5_-A3KHBsZUT3aL+gZHCGsYuWEQ@mail.gmail.com>
 <20110903114625.GA15100@localhost>
 <CAPFanBFbX-D_hb0SqXS7-g3cG9RVe6-W3MzEs_FvfwqRhX54aA@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
In-Reply-To: <CAPFanBFbX-D_hb0SqXS7-g3cG9RVe6-W3MzEs_FvfwqRhX54aA@mail.gmail.com>
User-Agent: Mutt/1.5.20 (2009-06-14)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p83CpaOH028832
Subject: Re: [Caml-list] Odd failure to infer types

Le Saturday 03 Sep 2011 à 14:15:35 (+0200), Gabriel Scherer a écrit :
>
>    [...]

Thanks for your explanation, which is quite thorough.

>      It also seems quite wrong to me. You should perhaps file a bug into
>      Mantis if no typing expert answers.
> 
>    I don't want to criticize your answer which was very helpful, but I
>    would like to point out that I have seen the "when you don't understand
>    the type checker, it may be a bug" reaction quite often on this list.

Well, there was an "if" clause... Nevertheless I agree that the
type checker is quite solid. I only had "serious" problems (infinite
loops) when playing too harshly with subtyping or recursive types.

-- 
     Guillaume Yziquel