From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 34EEABC37 for ; Tue, 9 Feb 2010 23:14:13 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtoBAG9tcUvUnwcjjWdsb2JhbACDCZddFQEBAQEJCQoJEQYfrR6QQIEvgkpbBA X-IronPort-AV: E=Sophos;i="4.49,438,1262559600"; d="scan'208";a="56559857" Received: from relay.ptn-ipout01.plus.net ([212.159.7.35]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Feb 2010 23:14:12 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0EAG9tcUtUXebz/2dsb2JhbACDCZdddK0ekECBL4JKWwQ Received: from relay02.plus.net ([84.93.230.243]) by relay.ptn-ipout01.plus.net with ESMTP; 09 Feb 2010 22:14:12 +0000 Received: from [87.112.77.220] (helo=leper.local) by relay02.plus.net with esmtp (Exim) id 1NeyLT-0005rA-OF for caml-list@yquem.inria.fr; Tue, 09 Feb 2010 22:14:11 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] The need to specify 'rec' in a recursive function defintion Date: Tue, 9 Feb 2010 23:29:44 +0000 User-Agent: KMail/1.9.9 References: <1e7471d51002091250of7a686fq537a03c9401c868f@mail.gmail.com> <1265752863.5482.42.camel@flake.lan.gerd-stolpmann.de> In-Reply-To: <1265752863.5482.42.camel@flake.lan.gerd-stolpmann.de> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <201002092329.44598.jon@ffconsultancy.com> X-Plusnet-Relay: 7cd41ec26755a9366dd01cbc57816e09 X-Spam: no; 0.00; recursive:01 defintion:01 gerd:01 stolpmann:01 recursive:01 ocaml:01 frog:98 wrote:01 caml-list:01 caml:02 consensus:04 specify:06 differently:07 standard:07 function:08 On Tuesday 09 February 2010 22:01:03 Gerd Stolpmann wrote: > In the ML community it is consensus that a recursive function is a total > different thing than a non-recursive function... Note that Standard ML does this differently to CAML/OCaml. -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e