From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 6590C5D5 for ; Thu, 23 Aug 2018 09:48:34 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.53,278,1531778400"; d="scan'208";a="343478257" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 Aug 2018 11:48:32 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E7049824C0; Thu, 23 Aug 2018 11:48:32 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D2C4E82486 for ; Thu, 23 Aug 2018 11:48:27 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rich@annexia.org; spf=Pass smtp.mailfrom=rich@annexia.org; spf=Pass smtp.helo=postmaster@annexia.org IronPort-PHdr: =?us-ascii?q?9a23=3AB5bT4xP7HW2VzQ2oC1gl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0LPX9rarrMEGX3/hxlliBBdydt6obzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlKiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kJNzA37nzZhM9+jK1UvB2uuh5wzIDPbYGJKPZzZL/Rcc8ASGZfWMtaSixPApm7?= =?us-ascii?q?b4sKF+cNM/pWr4jhqFsOtxS+HxSjD/7vxTNSgXH6x7Ax3eAmEQHAwgMgBNwCu2?= =?us-ascii?q?nTodXvNacdTeC1wbLSwjXFafNZxzj86InSfRw7pvGMR71wfNPXxEIyFA3Flk2d?= =?us-ascii?q?pI/5Mz+P1+kAsHKX4u59We61lmIqqQB8rz6yzck2kIbJnJgaylXc+CV53ok1Id?= =?us-ascii?q?q4RVZhbt6iFptfqS6bN4psTc84RGFooik6xqUHuZ69YicK1Iwqyh3DZ/CdcoWF?= =?us-ascii?q?4QjvWeKMLTtimX5oerOyiw638Ue6y+38Use00ExNripAitTMrHEN2ADT6sWcUP?= =?us-ascii?q?R9+EGh1iiA1gDS8O5IO0c0lbDUK5I52L4/ioITsVjfHi/xgEj5kLWZdkAg+uSx?= =?us-ascii?q?7+TnY67mpoOHOo9vigD+N7wuldalDeQ5NAgORWmb9v6m2L3t502qCIlN29Mylb?= =?us-ascii?q?PYuZaSDMIUq6q0HxNUmtIk4Aq2Jy+h1MUTnX4dK1QDdgjR3KbzPFSbasr5Bve2?= =?us-ascii?q?mVjkr3FOgbjkObvsGd+FemLCm7fJdLB75l5dwUw0198JtMEcMa0IPP+mAhy5j9?= =?us-ascii?q?ffFBJsa1XlkdaiM81008YlYUzKB6aYNK3ItlrRvbAmJe+BdI4c/jHnJKp8vqK8?= =?us-ascii?q?vToCgVYYOJKR894PcnnhRaZvJUOUcXvlxNAbHjVS51dsfKnRkFSHFAVrSTOyUq?= =?us-ascii?q?Y7v2ppAYSgAJfCT8aqmrPThSo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CHBQDFgX5b/7BbRFBbhACBZINQlHpMA?= =?us-ascii?q?QEBAQEBBplQCysBhEACgwwaBgEEMxUBAgEBAgEBAQEBbCiCNSKCYQYnEz8QCw4?= =?us-ascii?q?TExIPLRsGhSoRo00zhGiFd4kfEQZ5PkmDdi6KVgKIDpMOBwICj2AigTCNEJM/g?= =?us-ascii?q?VcigVJ9CDuCapBTPoEpAY1gAQE?= X-IPAS-Result: =?us-ascii?q?A0CHBQDFgX5b/7BbRFBbhACBZINQlHpMAQEBAQEBBplQCys?= =?us-ascii?q?BhEACgwwaBgEEMxUBAgEBAgEBAQEBbCiCNSKCYQYnEz8QCw4TExIPLRsGhSoRo?= =?us-ascii?q?00zhGiFd4kfEQZ5PkmDdi6KVgKIDpMOBwICj2AigTCNEJM/gVcigVJ9CDuCapB?= =?us-ascii?q?TPoEpAY1gAQE?= X-IronPort-AV: E=Sophos;i="5.53,278,1531778400"; d="scan'208";a="276596071" Received: from annexia.org ([80.68.91.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 23 Aug 2018 11:48:27 +0200 Received: from rich by annexia.org with local (Exim 4.89) (envelope-from ) id 1fsmE6-0006cj-GP; Thu, 23 Aug 2018 10:48:26 +0100 Date: Thu, 23 Aug 2018 10:48:26 +0100 From: "Richard W.M. Jones" To: Florian Angeletti Cc: caml-list@inria.fr Message-ID: <20180823094826.xhc253lxxgt5la7a@annexia.org> References: <20180823091552.vq5oizsushwfivgz@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: NeoMutt/20170113 (1.7.2) Subject: Re: [Caml-list] Returning printf from a function Reply-To: "Richard W.M. Jones" X-Loop: caml-list@inria.fr X-Sequence: 17032 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Let's complicate this a bit further. The nearly exact code we are having problems with is (note that give_fn can return None in the real code): ---------------------------------------------------------------------- open Printf let debug fs = ksprintf print_endline fs let give_fn () = Some debug let () = let param = "x" in debug "single"; debug "param: %s" param; (match give_fn () with | None -> () | Some fn -> fn "fn"; fn "fn param: %s" param ); () ---------------------------------------------------------------------- In this case there's no apparent way to add the extra parameter, I don't think ... Rich. -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs