From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA18468; Sat, 22 Mar 2003 12:53:06 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA17379 for caml-list@pauillac.inria.fr; Sat, 22 Mar 2003 12:53:05 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA30281 for ; Thu, 20 Mar 2003 18:29:03 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from mail2.atl.registeredsite.com (mail2.atl.registeredsite.com [64.224.219.76]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h2KHT1f28470 for ; Thu, 20 Mar 2003 18:29:02 +0100 (MET) Received: from badgersys.com (technomediasolutions.com [66.111.64.35] (may be forged)) by mail2.atl.registeredsite.com (8.12.8/8.12.6) with ESMTP id h2KHT0WO011919 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NOT) for ; Thu, 20 Mar 2003 12:29:00 -0500 Received: from [199.125.219.7] (mattwb@[199.125.219.7]) by badgersys.com (8.11.6/8.11.0) with ESMTP id h2KHSx134057 for ; Thu, 20 Mar 2003 11:29:00 -0600 (CST) (envelope-from mattwb@mail.alve.com) Subject: Re: [Caml-list] Wanted - General Purpose "Glue Logic" Data-Structures From: "Matthew W. Boyd" To: caml-list@inria.fr In-Reply-To: <15993.10380.206589.498703@barrow.artisan.com> References: <15993.10380.206589.498703@barrow.artisan.com> Content-Type: text/plain Content-Transfer-Encoding: 7bit X-Mailer: Ximian Evolution 1.0.8 Date: 20 Mar 2003 11:36:55 -0600 Message-Id: <1048181816.817.34.camel@valery> Mime-Version: 1.0 X-Spam: no; 0.00; mattwb:01 alve:01 caml-list:01 glue:01 pervasives:01 module:03 output:05 perhaps:09 append:10 logic:12 convert:12 but:16 concat:16 modified:19 produce:20 X-Spam: no; 0.00; mattwb:01 alve:01 caml-list:01 glue:01 pervasives:01 module:03 output:05 perhaps:09 append:10 logic:12 convert:12 but:16 concat:16 modified:19 produce:20 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > The program broke down in 2 places. First, List.concat was used to > convert the output of the fracturer from 'a list list to 'a list. Not > only is List.concat not tail-recursive but @ (Pervasives.append) is > also not tail-recursive. I modified the fracturer to directly produce > 'a list. > > This has been brought up many times in the past. Perhaps this could be in the List module documentation? ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners