From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <tmp123@menta.net>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=2.0 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE,
	DNS_FROM_RFC_POST,NO_REAL_NAME autolearn=disabled version=3.1.3
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id 60B70BC6C
	for <caml-list@yquem.inria.fr>; Sat,  4 Aug 2007 12:58:50 +0200 (CEST)
Received: from resmaa06.ono.com (smtp.ono.com [62.42.230.12])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l74AwnnS007283
	for <caml-list@yquem.inria.fr>; Sat, 4 Aug 2007 12:58:50 +0200
Received: from [192.168.1.33] (83.34.178.87) by resmaa06.ono.com (7.3.118.8) (authenticated as tmp123@menta.net)
        id 46AEFB3F0019B404 for caml-list@yquem.inria.fr; Sat, 4 Aug 2007 12:58:43 +0200
Message-ID: <46B45BE3.9040403@menta.net>
Date: Sat, 04 Aug 2007 12:58:43 +0200
From: tmp123@menta.net
User-Agent: Mozilla Thunderbird 1.0 (X11/20041206)
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: caml-list@yquem.inria.fr
Subject: Warning on not-tail recursive functions
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Miltered: at concorde with ID 46B45BE9.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; recursive:01 ocamlopt:01 recursive:01 functions:01 tail:01 assembler:02 optimization:03 generated:05 generated:05 jmp:05 tmp:05 probably:07 function:08 function:08 correct:08 

Hello,

Please, knows someone if "ocamlopt" can print a warning message when a 
recursive function is not tail recursive, and code with the "jmp" 
optimization has not been generated?.

In this case, probably I can correct the function implementation to 
write a better one. Without it, I must always look at the generated 
assembler to check it.

Thanks a lot.