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 p3S8l6hr030365 for ; Thu, 28 Apr 2011 10:47:06 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AngBAH0ouU1V2gB4mWdsb2JhbACmEQEBAQEBCAsLBxQlwlIOhWgEkwyJWw X-IronPort-AV: E=Sophos;i="4.64,279,1301868000"; d="scan'208";a="81909990" Received: from emailfrontal1.citycable.ch ([85.218.0.120]) by mail3-smtp-sop.national.inria.fr with SMTP; 28 Apr 2011 10:47:00 +0200 X-Alinto-smtpauth-localdomain: Yes Received: from seldon (unknown [85.218.93.111]) (Authenticated sender: guillaume.yziquel@citycable.ch) by emailfrontal1.citycable.ch (Postfix) with ESMTPA id 2DC08E64034; Thu, 28 Apr 2011 10:46:53 +0200 (CEST) Received: from yziquel by seldon with local (Exim 4.72) (envelope-from ) id 1QFMrF-0006yA-LI; Thu, 28 Apr 2011 10:45:57 +0200 Date: Thu, 28 Apr 2011 10:45:57 +0200 From: Guillaume Yziquel To: Jeffrey Scofield Cc: caml-list@inria.fr Message-ID: <20110428084557.GW4023@localhost> References: <20110427204629.GA8872@yeeloong.happyleptic.org> <20110427205416.GL4023@localhost> <20110427212852.GC8872@yeeloong.happyleptic.org> <20110427215146.GD4023@localhost> <20110428040550.GB9733@yeeloong.happyleptic.org> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline In-Reply-To: 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 p3S8l6hr030365 Subject: Re: [Caml-list] Re: Strange behavior of mutualy recursive definitions 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). > I don't think it's untypeable, it just doesn't have a useful type. > It's similar to the type of failwith : string -> 'a, but without > the string. Exactly. -- Guillaume Yziquel