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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 7A058BBE1 for ; Thu, 12 Oct 2006 00:52:07 +0200 (CEST) Received: from rouge.crans.org (rouge.crans.org [138.231.136.3]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k9BMq2vD010484 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Thu, 12 Oct 2006 00:52:07 +0200 Received: from localhost (rouge.adm.crans.org [138.231.144.3]) by rouge.crans.org (Postfix) with ESMTP id C3C5DBB72; Thu, 12 Oct 2006 00:52:00 +0200 (CEST) Received: from rouge.crans.org ([138.231.144.3]) by localhost (rouge [138.231.144.3]) (amavisd-new, port 10024) with LMTP id 01064-02-88; Thu, 12 Oct 2006 00:52:00 +0200 (CEST) Received: from [138.231.142.254] (korell.crans.org [138.231.142.254]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by rouge.crans.org (Postfix) with ESMTP id 4C407BB5F; Thu, 12 Oct 2006 00:51:56 +0200 (CEST) Message-ID: <452D753E.1020607@glondu.net> Date: Thu, 12 Oct 2006 00:50:38 +0200 From: =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdQ==?= User-Agent: Thunderbird 1.5.0.7 (X11/20060922) MIME-Version: 1.0 To: Diego Olivier FERNANDEZ PONS Cc: caml-list@inria.fr Subject: Re: [Caml-list] Type inference inside exceptions ? References: <20061006201647.1a88vj0tkockc4k8@webmail.etu.upmc.fr> In-Reply-To: <20061006201647.1a88vj0tkockc4k8@webmail.etu.upmc.fr> X-Enigmail-Version: 0.94.0.0 OpenPGP: id=FCE03DAA Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at crans.org X-Miltered: at concorde with ID 452D7593.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; inference:01 pons:01 mutable:01 phane:98 steph:98 caml-list:01 exceptions:01 lazy:02 variable:06 olivier:06 stephane:07 rather:08 fernandez:09 ...:90 ...:90 Diego Olivier FERNANDEZ PONS a =C3=A9crit : > Now I want the program not to return all the solutions but only the > first solution it found and a list of continuations that I can launch > again if a better solution is required. I don't really understand what you are doing: why do you generate a list of continuations instead of a single one? Don't you want a kind of lazy list? > Here is the detailed code > [...] > Great ! Now I want the solution, its cardinality and the continuation l= ist Does this code really do what you expect? Did you take into consideration multiple executions of your continuations? I am rather unconfident with your single mutable variable... > lets try ... Is this the end of your mail? --=20 Stephane Glondu