From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 F0BA57F734 for ; Wed, 23 Sep 2015 09:26:29 +0200 (CEST) IronPort-PHdr: 9a23:/XxeMR2tjHs9pYREsmDT+DRfVm0co7zxezQtwd8ZsegSKfad9pjvdHbS+e9qxAeQG96Lt7QY0qGP6fiocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC04LrjqvrocWbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK7zeqB9Sb1DEBwnNXo07Yvlr0rtVwyKs1cVTGQa2j9lJTT/wVmuUpL8tDfgu8J52S+HLYj4V7kyUjnk6L1kHky7wBwbPiI0pTmEwvd7i7hW9Uqs Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dmentre@linux-france.org; spf=None smtp.mailfrom=dmentre@linux-france.org; spf=None smtp.helo=postmaster@tempura.bentobako.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dmentre@linux-france.org) identity=pra; client-ip=94.23.39.64; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="dmentre@linux-france.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dmentre@linux-france.org) identity=mailfrom; client-ip=94.23.39.64; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="dmentre@linux-france.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@tempura.bentobako.org) identity=helo; client-ip=94.23.39.64; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="postmaster@tempura.bentobako.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ArBQBYUwJW/0AnF15dgyTENoJWAoFKPBABAQEBAQEBAYEJgh2CCAEBBCMPAQVAEQsaAgUWCwICCQMCAQIBDTgTCAEBiC62fpQeDCCBIoVRhH2FFBeCUoFDAQSVZw2Vf5IjOCuEA4pcAQEB X-IPAS-Result: A0ArBQBYUwJW/0AnF15dgyTENoJWAoFKPBABAQEBAQEBAYEJgh2CCAEBBCMPAQVAEQsaAgUWCwICCQMCAQIBDTgTCAEBiC62fpQeDCCBIoVRhH2FFBeCUoFDAQSVZw2Vf5IjOCuEA4pcAQEB X-IronPort-AV: E=Sophos;i="5.17,577,1437429600"; d="scan'208";a="179012751" Received: from tempura.bentobako.org ([94.23.39.64]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 23 Sep 2015 09:26:29 +0200 Received: from [10.226.206.73] (unknown [95.128.149.202]) by tempura.bentobako.org (Postfix) with ESMTPSA id DBE232BD1 for ; Wed, 23 Sep 2015 09:26:28 +0200 (CEST) To: caml-list@inria.fr References: <84io72z88q.fsf@cri.ensmp.fr> From: David MENTRE Message-ID: <56025424.2010508@linux-france.org> Date: Wed, 23 Sep 2015 09:26:28 +0200 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.2.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] How can I change the margin size in the toplevel? Hello Alan, Le 23/09/2015 08:48, Alan Schmitt a écrit : > Unfortunately it does not seem to work > in the toplevel: it’s as if the toplevel was not using > Format.std_formatter for its output. I don’t know how to get hold of the > formatter used in the toplevel to change its options… Probably stupid and brute force suggestion: have you considered recompiling the toplevel, modifying the constant defining the line width? Best regards, david