From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id B17BEBC89 for ; Tue, 23 Jan 2007 20:29:40 +0100 (CET) Received: from maury.inria.fr (maury.inria.fr [192.93.2.7]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l0NJSn3V013185 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK) for ; Tue, 23 Jan 2007 20:29:40 +0100 Received: from proofagent.csrv.uidaho.edu (mx2.uidaho.edu [129.101.155.249]) by maury.inria.fr (8.13.6/8.13.6) with ESMTP id l0NIxHVU030553 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 23 Jan 2007 19:59:20 +0100 Received: from mailB.its.uidaho.edu (mailB.its.uidaho.edu [129.101.155.251]) by proofagent.csrv.uidaho.edu (8.13.6/8.13.6) with ESMTP id l0NIxFo2024808 for ; Tue, 23 Jan 2007 10:59:15 -0800 Received: from NIATT106A02A (ipcop.niatt.uidaho.edu [129.101.230.122]) by mailB.its.uidaho.edu (Go Vandals!) with ESMTP id <0JCC0060S4QRHH@mailB.its.uidaho.edu> for caml-list@inria.fr; Tue, 23 Jan 2007 10:59:15 -0800 (PST) Date: Tue, 23 Jan 2007 10:59:15 -0800 From: Steve Taylor Subject: RE: [Caml-list] Factorial function In-reply-to: <8C584854-A0BC-4926-A4E7-60620DF4D995@gmail.com> To: caml-list@inria.fr Message-id: <005d01c73f20$93d56e50$bb804af0$@edu> MIME-version: 1.0 X-Mailer: Microsoft Office Outlook 12.0 Content-type: text/plain; charset=US-ASCII Content-language: en-us Content-transfer-encoding: 7bit Thread-index: Acc/IApwQnjfChJ5RnmY7DAbZsy5WQAAH+WA References: <8C584854-A0BC-4926-A4E7-60620DF4D995@gmail.com> X-SpamDetails: rule=notspam policy=default score=0 mlx=0 adultscore=0 adjust=0 reason=mlx engine=3.1.0-0701160000 definitions=main-0701230025 X-SpamScore: 0 X-Miltered: at discorde with ID 45B661F1.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Miltered: at maury with ID 45B65B05.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; factorial:01 factorial:01 beginner's:01 ocaml:01 bug:01 lucas:98 23,:98 lucas:98 beginners:01 rec:01 caml-list:01 caml-list:01 terminate:01 bin:01 caml:02 This function does not terminate where you think it does. What is your base case? > -----Original Message----- > From: caml-list-bounces@yquem.inria.fr [mailto:caml-list-bounces@yquem.inria.fr] On Behalf Of > Lucas Holland > Sent: Tuesday, January 23, 2007 10:54 AM > To: caml-list@inria.fr > Subject: [Caml-list] Factorial function > > Hi, why does this function: > > let rec fact n = > n * fact (n-1);; > > yield an overflow error if called with n = 5? > > Thanks in advance, > > Lucas > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs