From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3S8viAO031075 for ; Thu, 28 Apr 2011 10:57:44 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkYHANYquU1c8w3B/2dsb2JhbACYT40ud8JZhXYEnGc X-IronPort-AV: E=Sophos;i="4.64,279,1301868000"; d="scan'208";a="81910861" Received: from dangi.happyleptic.org ([92.243.13.193]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 28 Apr 2011 10:57:43 +0200 Received: from extranet.securactive.org ([82.234.213.170] helo=ccellier.rd.securactive.lan) by dangi with esmtp (Exim 4.72) (envelope-from ) id 1QFN44-0004QK-GI for caml-list@inria.fr; Thu, 28 Apr 2011 10:59:12 +0200 Received: from rixed by ccellier.rd.securactive.lan with local (Exim 4.72) (envelope-from ) id 1QFN2X-0005bw-GU for caml-list@inria.fr; Thu, 28 Apr 2011 10:57:37 +0200 Date: Thu, 28 Apr 2011 10:57:37 +0200 From: rixed@happyleptic.org To: caml-list@inria.fr Message-ID: <20110428085737.GB18913@ccellier.rd.happyleptic.org> References: <20110427204629.GA8872@yeeloong.happyleptic.org> <20110427205416.GL4023@localhost> <20110427212852.GC8872@yeeloong.happyleptic.org> <20110427215146.GD4023@localhost> <20110428040550.GB9733@yeeloong.happyleptic.org> <20110428084557.GW4023@localhost> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20110428084557.GW4023@localhost> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] Re: Strange behavior of mutualy recursive definitions -[ Thu, Apr 28, 2011 at 10:45:57AM +0200, Guillaume Yziquel ]---- > Le Thursday 28 Apr 2011 à 01:24:33 (-0500), Jeffrey Scofield a écrit : > > rixed@happyleptic.org writes: > > > > > Why 'let rec f = f' is rejected is clear: you cannot type f. > > > > In my thinking, f is typeable with type 'a (fully general type). > > Exactly. Yep. My convictions are quickly collapsing. :-)