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=1.3 required=5.0 tests=AWL,HTML_MESSAGE,SPF_NEUTRAL 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 E1B5BBC69 for ; Fri, 9 Feb 2007 23:42:21 +0100 (CET) Received: from nf-out-0910.google.com (nf-out-0910.google.com [64.233.182.185]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l19MgLxi032280 for ; Fri, 9 Feb 2007 23:42:21 +0100 Received: by nf-out-0910.google.com with SMTP id a27so1361170nfc for ; Fri, 09 Feb 2007 14:42:21 -0800 (PST) DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; b=hADZGNLn+OhckvyepaCAb6dW3GeF4cQTOJfH+WswUcFZpATSDLCeSyMf9QlKRuWzqq66RGybu8YyQnrGzYs1KFIziBHP+jmASWcLSaUp7qW/s03ldV4zvMAqqQvdwNtzOToicPrYHy2SsUGGXkw7gkwR9Vb43TcNdHk0Z+SopbQ= Received: by 10.82.118.2 with SMTP id q2mr2194032buc.1171060940813; Fri, 09 Feb 2007 14:42:20 -0800 (PST) Received: by 10.82.100.16 with HTTP; Fri, 9 Feb 2007 14:42:20 -0800 (PST) Message-ID: Date: Fri, 9 Feb 2007 23:42:20 +0100 From: Tom To: Andrej.Bauer@andrej.com Subject: Re: [Caml-list] Amb Cc: "Brian Hurt" , "Jonathan Bryant" , caml-list@yquem.inria.fr In-Reply-To: <45CCF1D6.5040302@fmf.uni-lj.si> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_75599_12761834.1171060940787" References: <1197BD5D-1373-4876-8DC1-FED84797E4A6@valdosta.edu> <45CCEDCC.1090200@janestcapital.com> <45CCF1D6.5040302@fmf.uni-lj.si> X-j-chkmail-Score: MSGID : 45CCF8CD.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 45CCF8CD.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; trunc:01 trunc:01 amb:98 amb:98 caml-list:01 output:02 output:02 string:02 string:02 W4:96 W4:96 let:03 let:03 raise:03 raise:03 X-Attachments: cset="UTF-8" cset="UTF-8" ------=_Part_75599_12761834.1171060940787 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline What would amb do with this kind of program: let f_out = open_out "file1.tmp";; output_string f_out "good\n";; close_out;; if (abm [(fun _ -> false); (fun _ -> true)]) then let f_in = open_in "file1.tmp" in if input_line f_in = "good" then exit 0 (* SUCCESS *) else raise Amb else let f_out2 = open_out_get [Open_trunc] 0o777 "file1.tmp" in output_string f_out2 "bad\n" ? - Tom ------=_Part_75599_12761834.1171060940787 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline What would amb do with this kind of program:

let f_out = open_out "file1.tmp";;
output_string f_out "good\n";;
close_out;;

if (abm [(fun _ -> false); (fun _ -> true)]) then
     let f_in = open_in "file1.tmp" in
     if input_line f_in = "good" then exit 0 (* SUCCESS *)
     else raise Amb
else
      let f_out2 = open_out_get [Open_trunc] 0o777 "file1.tmp " in
      output_string f_out2 "bad\n"


?

- Tom
------=_Part_75599_12761834.1171060940787--