From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <5764c029b688c1c0d24a2e97cd764f@gmail.com> X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 4945C7FA83 for ; Sun, 9 Apr 2017 09:38:05 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=Pass smtp.mailfrom=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f44.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com designates 74.125.82.44 as permitted sender) identity=mailfrom; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f44.google.com) identity=helo; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-wm0-f44.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AZO6rKhzJoJFlRZLXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2u8UIJqq85mqBkHD//Il1AaPBtSHraocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze6/9pncbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDtU7s6RSqt4LtqSB/wiS?= =?us-ascii?q?cIKTg58H3MisdtiK5XuQ+tqwBjz4LRZoyeKfhwcb7Hfd4CWGRPQMhRWSxCDI2y?= =?us-ascii?q?YYQAAOgOMvpXoYTmu1sDrwGzCRWwCO7hyjJFgGL9060g0+QmFAHLxAsuEMgSsH?= =?us-ascii?q?vKrtX+KaIcUeeuzKnJzjXIcvRb1Df/5YXJfR0uve2AUax0fMXKyEQiFADIgUmN?= =?us-ascii?q?pYP5Iz+ay/oBvmeB4OZ+S+2ij2wqpB1srTWtx8ohhYfJi5kaylDB7yp5wYI1Kc?= =?us-ascii?q?ekR058ZN6pCZ1dvDyUOYtxR8MtWWBouCAix70BpZG0Zi0KyJA9yx7YcfyHfI6F?= =?us-ascii?q?6Q/gWuaJOTp1hn1odKiiixqs8UWs0O7xWteu3FtFoSdJisTAu38J2hDJ6MWLUO?= =?us-ascii?q?Zx8luu1DqV1w3e5OdJKl0um6XBMZ4u2Lswm4ITsUvdGi/2n137jKqMeUUl/uik?= =?us-ascii?q?8urmYrD6qpOFOY95hQ7zPr4hmsy4BuQ4PQwOUHaB9eug073j+FX1QLRMjvIojq?= =?us-ascii?q?nUqJLXKMsBqqKkHQNY0pwv5hWhAzu839kVkmELLFdfdxKGi4jpNUvOIPf9Dfqn?= =?us-ascii?q?g1mhkjZmyv/aMbH9HJnAKmPMnbbicLt+90FQ1RY8wcxC6J5KBbwOOuz/VVH1ud?= =?us-ascii?q?HaEhA2Lg65zufoBdVzzY4eVmePDbWYMKPWq1OH+uUvI+yUaI8PpDn9M+Ql5+Lp?= =?us-ascii?q?jXIhhVASZ6yp3Z8OZHC8H/RmOFmZbGH3gtYBFGcKphAxQPbriF2ESz5TZmy9U7?= =?us-ascii?q?gy5jEhW8qaCtLhQZutyJaMxiu6GJAeMmJBEVCkG3rye4SCVrEKZT7EZocrmTUB?= =?us-ascii?q?Uf2lSpQ9/RCorg7zjbR9ZKKA8SQdsdfn1cNpz+zVjxA7szJuWZezyWaIGkR9gm?= =?us-ascii?q?4KDxwxx6F86RgglQnf2vAi0vYGRYxYvvgRXl1mPMTRnrNxB4+sBgzpcdKASVLg?= =?us-ascii?q?SdKjV2JiBuktysMDNh4uU+6piQrOim/zW+cY?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A0BwAZ5OlYhixSfUpcGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBghGBeAOBCJ8aH4kIjE+CDyyDEoJmAoNeQBc?= =?us-ascii?q?BAQEBAQEBAQEBARIBAQEICwsIKC+CMyIBgkABAgNAARseAwwGBQsNLiMRAQUBH?= =?us-ascii?q?AYBDAgCiXIBAxUOnGU/jggFARyDCQWDSwoZJw1VR4IRAQEBAQEBBAEBAQEBARo?= =?us-ascii?q?CAQUJAQiIQwmCYoo7AQScegGHAItZilQQhl2SODOBFSEBgTolFiBWGIQ0DxAMg?= =?us-ascii?q?WVziUMBAQE?= X-IPAS-Result: =?us-ascii?q?A0A0BwAZ5OlYhixSfUpcGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBghGBeAOBCJ8aH4kIjE+CDyyDEoJmAoNeQBcBAQEBAQEBAQEBA?= =?us-ascii?q?RIBAQEICwsIKC+CMyIBgkABAgNAARseAwwGBQsNLiMRAQUBHAYBDAgCiXIBAxU?= =?us-ascii?q?OnGU/jggFARyDCQWDSwoZJw1VR4IRAQEBAQEBBAEBAQEBARoCAQUJAQiIQwmCY?= =?us-ascii?q?oo7AQScegGHAItZilQQhl2SODOBFSEBgTolFiBWGIQ0DxAMgWVziUMBAQE?= X-IronPort-AV: E=Sophos;i="5.37,176,1488841200"; d="scan'208";a="268352275" Received: from mail-wm0-f44.google.com ([74.125.82.44]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Apr 2017 09:38:04 +0200 Received: by mail-wm0-f44.google.com with SMTP id o81so18076814wmb.1 for ; Sun, 09 Apr 2017 00:38:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding; bh=nuy79Z6fyrDHGt/DdmSp2yaopCFLdFj33dAZiB25CLM=; b=Z0USsoVZaDSaFX0f+kUiOmUr1Ei1MfHf5MFd3mKOFbpbr+FUlNHCZniNEsiLN+QIZ5 Oh1iA1uIVxn90qCdfBjeDruRWs8aJ8h+XLCSPp3c8IRMEs0484KdbLwy/Wx0Dn489kHo MwbLHORqHJLZ6srNyjK0CkCxGhMXITN7XJ8jmAAdPhX8V0t9fNRHx8f+D6909fJ0U1v4 B3/4gZs+oMYyH+IcEyV0cMnhaXk7o4k7YhGTybChsO25zqyBQDkdtRWwHDRc3uTWpnNv jBGDNWm3o2gyvAwZ46W7o9e+BgTCrinVUK0j/Uw/WjpoGtgVwZi0SXHWdVbbNetz7qqC iNDw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=nuy79Z6fyrDHGt/DdmSp2yaopCFLdFj33dAZiB25CLM=; b=gsa950IcS+fguXd9i1cBRrp3FIGTdHcKt0byMaaOmygKvOtF+yYA5jHC8ShuL+Uf2i yP0GsiO1Kc8notwIeTW7K2DuplqIu+YjSMKttpPmqtfTqAa0OEic2Q+1GF0W7zcG9aJT 5XbI31B7y2sTzOnwwa0ZvDJrbjylFUm2lWzYqBVTH0KodwDlpoUV7VO4HwVGAeoiS172 tAe1JlnMI2ExxxNvpMLVxm9jnzGuEGyxz+mBXpnJ4qcg4cMW7TvWGCHxFbUxZksKRcVS Hf2qNkR9pOYNstunoAFRyijV9miVRlc4rqDcpHC5whL1zu6hl4fBWbds5pZxuYOXDPNR Wsjw== X-Gm-Message-State: AN3rC/6j+wjPmxClXAWuL83F/zLhg2KVimzC0RegDbbhwTUHcAaJWx4E40o1G8vwbQYEHw== X-Received: by 10.28.92.212 with SMTP id q203mr5271258wmb.73.1491723484016; Sun, 09 Apr 2017 00:38:04 -0700 (PDT) Received: from [192.168.43.150] ([149.7.104.53]) by smtp.googlemail.com with ESMTPSA id j26sm12598616wrb.30.2017.04.09.00.38.02 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 09 Apr 2017 00:38:03 -0700 (PDT) To: Josh Berdine , "caml-list@inria.fr" References: <925865e7-4237-0bcb-b4bf-76ca7d5e183e@gmail.com> From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> Message-ID: Date: Sun, 9 Apr 2017 09:44:36 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.6.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Format questions Hi Josh, On 04/09/2017 12:24 AM, Josh Berdine wrote: > On Sat, Apr 08 2017, Matej Kosik wrote: > >> Hi everybody, >> >> I am trying to understand the concepts in the Format module. >> >> While reading this: >> >> https://ocaml.org/learn/tutorials/format.html >> >> One of the mini experiments I did was: >> >> set_margin 11; >> open_hvbox 0; >> print_string "---"; >> print_space (); >> print_string "---"; >> print_space (); >> print_string "---"; >> print_newline (); >> print_newline (); >> >> I've got the expected output, which is: >> >> --- >> --- >> --- >> >> No surprises. >> >> However, when I tried to write express the same intentions via Format.fprintf function: >> >> Format.set_margin 11; >> Format.fprintf std_formatter "@[---@ ---@ ---@.@."; >> >> I get: >> >> --- --- --- >> >> I'd like to ask for some clues as to why the output of the above Format.fprintf is different from the more verbose version above. > > Are you, by chance, evaluating this in utop (which seems to mess with std_formatter)? I see your expected behavior using the standard toplevel. (After adding Format. to std_formatter) I was using standard Ocaml toplevel (in a context where I opened Format module). I looked at it today and I have realized that instead of this: set_margin 11; if I want to use "Format.fprintf std_formatter" I should do pp_set_margin std_formatter 11; as if set_margin <> pp_set_margin std_formatter That I did not know.