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 4C5BE5D5 for ; Mon, 14 Jun 2021 00:54:23 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.83,272,1616454000"; d="scan'208";a="513266837" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Jun 2021 02:54:21 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 054DCE0041; Mon, 14 Jun 2021 02:54:22 +0200 (CEST) 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 75A8BE0040 for ; Mon, 14 Jun 2021 02:54:14 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mlists@ligand.eu; spf=Pass smtp.mailfrom=mlists@ligand.eu; spf=None smtp.helo=postmaster@relay4-d.mail.gandi.net IronPort-PHdr: =?us-ascii?q?A9a23=3AOzJNoRPWrf30QuxF/gUl6nbbDRdPi9zP1u491JM?= =?us-ascii?q?rhvp0f7i5+Ny6ZQqDvKQr1wWVFt6Go9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/t?= =?us-ascii?q?MMNggY7C9SEA0CoZNTjbig9AdgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1?= =?us-ascii?q?oLejpB4Lelcu62/229pHJbQhEmjWwbbx8IRi2sA7cqtQYjYx+J6gr1xDHuGFIe?= =?us-ascii?q?+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxj?= =?us-ascii?q?DQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnl?= =?us-ascii?q?CYHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6jAf90VWHBBU95eWCJPAo2?= =?us-ascii?q?ycZYBAOgPPelWrIf8qEcBoxSlCAmwBu7vyCNEimPs0KEk1ekqDAHI3BYnH9ILq?= =?us-ascii?q?HnarM/1O70UUe+py6nIzC7DZO5L1Djj8ojHbBYhof6SUrJqbMHczkwvFwfEjlW?= =?us-ascii?q?LtYzlJCiY1uAMs2iU9eVgU/+gh3Q5pAFsuzWiwNonhYbViIwP0F/E6Tl5z5gvJ?= =?us-ascii?q?d2+UEN2f96qHZRMuiyEKod4TN0vTm51tSok1rALp522cSgXxJk7xhPRZfKKf5W?= =?us-ascii?q?H7xztVuufISl0iXZrdb6jmRq/71Wtx+vhXce611ZKqzBKktjKtn0VzBPT68yHS?= =?us-ascii?q?v9n8ken3jaC0R3Y5OJcIU0si6bXNpwszqQym5YPq0jPAyz7lUvsgKOLckgp++6?= =?us-ascii?q?l4Pn9bLr8vJ+TLYp0hxn+Mqswnsy/Bvw1MhIQUGif4+u91LLu8VTkT7lQi/05i?= =?us-ascii?q?KjZsJTAKcQUvKG5BRJa0oc55xa5ETimzMwUnXgBLF1bZBKKl5blN0zMLfziD/q?= =?us-ascii?q?zn06gnCpoyv3IJLHtH5HAI3nbnLfkZ7l96kpcyAQpzdBY4pJZErQBIPbyWk/qq?= =?us-ascii?q?NzYFQQ0Mwi1w+boEtp90J4RVXiRDa+EKK/Sq0OH5vozI+mQY48YoCryJOIg5/7?= =?us-ascii?q?qlHM5nV4dfbK13ZYMc3C5HvFmI12Dbnb2g9cBF30KvgskQ+Dwhl2CS20bW3Hnf?= =?us-ascii?q?K865zo7CcqPFo7CDtSkm7WA9CagWJpdZmkAA1vKE2++JKueXPJZRjibJMRmkyd?= =?us-ascii?q?Mf7W7Roku2Avm4Ar+yqF7NcLQ+yIRs56l2cUjtL6brg076TEhV5fV6GqKVWwh2?= =?us-ascii?q?zpQH1feM4h7oEN0zFvF3LUq2pSw9PRJ6vdAQ1t/OdjZxu1+Td/7XA7AONGEVAT?= =?us-ascii?q?+Kj1DKTUwQds3z5kDfhQlc+g=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3A7rb3h6/JVUEvHXKElbNuk+C9I+orL9Y04lQ7?= =?us-ascii?q?vn2ZKCYlEfBw+PrFoB1273LJYVUqOE3I5+rvBEDoexq1nqKdh7N8AV7IZmjbUQ?= =?us-ascii?q?WTQ71f0Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AjBQCPp8Zgh8S3RtlaDhABAQsSDECBW?= =?us-ascii?q?YF6gXw7MZR+AQEGgUOKW5BsgXsLAQMBDUEEAQGEUAKCaAIdBwEENgQNAgQVAQE?= =?us-ascii?q?FAQEBAgEDAwQBEwEBAQENCwkIKRqFaA2COCkBg2MBAQEDATgCBgEBNwEECwQHG?= =?us-ascii?q?C5XBhuCaYJiBSWpRHiBNIEBggcBAQaCVYUnCYE6ilKCHnonHH2BEIQ4Poo/hic?= =?us-ascii?q?snyhanGODJp1lERkSg0yiGLorgW4IgXIfLiYSO4JpUBkOjh8ZgQsBAoNKiRhUN?= =?us-ascii?q?S84AgYKAQEDCYlcAQE?= X-IPAS-Result: =?us-ascii?q?A0AjBQCPp8Zgh8S3RtlaDhABAQsSDECBWYF6gXw7MZR+AQE?= =?us-ascii?q?GgUOKW5BsgXsLAQMBDUEEAQGEUAKCaAIdBwEENgQNAgQVAQEFAQEBAgEDAwQBE?= =?us-ascii?q?wEBAQENCwkIKRqFaA2COCkBg2MBAQEDATgCBgEBNwEECwQHGC5XBhuCaYJiBSW?= =?us-ascii?q?pRHiBNIEBggcBAQaCVYUnCYE6ilKCHnonHH2BEIQ4Poo/hicsnyhanGODJp1lE?= =?us-ascii?q?RkSg0yiGLorgW4IgXIfLiYSO4JpUBkOjh8ZgQsBAoNKiRhUNS84AgYKAQEDCYl?= =?us-ascii?q?cAQE?= X-IronPort-AV: E=Sophos;i="5.83,272,1616454000"; d="scan'208";a="513266815" X-MGA-submission: =?us-ascii?q?MDF1SdMN6fnqChSeBr0XxJOOZNdxEZNv7L0M61?= =?us-ascii?q?/1xtZZ7nwHDCpYI3/bUo2NCYsMg/gJT2NXMi5YlI0CZoWRFyhsw80988?= =?us-ascii?q?u2sAoSd/0q6gz+dhL02QRPJkHKxPP0O+GJWWw2eFNgr7nicHS4/bYuuB?= =?us-ascii?q?K5Js1MJ2owV0mNPnq3qx1VFQ=3D=3D?= Received: from relay4-d.mail.gandi.net ([217.70.183.196]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 14 Jun 2021 02:54:13 +0200 Received: (Authenticated sender: mlists@ligand.eu) by relay4-d.mail.gandi.net (Postfix) with ESMTPA id 358D3E0002; Mon, 14 Jun 2021 00:54:11 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ligand.eu; s=gm1; t=1623632053; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=DfLJrEEAyEKjwT54H9SmiJ6y8Q12qOqIjH0zTTWPgmk=; b=Gk0JUpE8Fwd053FZpQxfuOOztbDoz5XKvTHXMGSGl3B0wZMHBoxpEGQSgcL1QS9wngJgkL G+cUhwv9oC//f+NeQj1h7xw6VupjTiusoOUirLaJKsmqo0KUm9sirn5WKa0gNqFuWhqExj SCRaLxMzumMbYE7FGZwhKak+husugbjotWuL+GKzKqcEXA8La8ZJwnGSoVSqGO41I9e9FN mxv9+0ZGE4Uns0BI1NhqOZDO3UGbYD5XBgwkZ70c6FjrXMK8k8g0bH/ruJaesfDyzqTpGV 0yyBB6TK4APwcHjJdX7+uB3mymmZg35qIwzBae/05JhOMDJ2keRrS8/lbgS8Ow== MIME-Version: 1.0 Date: Mon, 14 Jun 2021 09:54:11 +0900 From: Francois Berenger To: Kenichi Asai Cc: caml-list@inria.fr In-Reply-To: <20210611061824.GA5373@pllab.is.ocha.ac.jp> References: <20210611061824.GA5373@pllab.is.ocha.ac.jp> User-Agent: Roundcube Webmail/1.4.11 Message-ID: X-Sender: mlists@ligand.eu Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] line breaking Reply-To: Francois Berenger X-Loop: caml-list@inria.fr X-Sequence: 18523 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: On 11/06/2021 15:18, Kenichi Asai wrote: > Once line breaks are inserted, one can use ocp-indent to properly > indent OCaml code. Is there a tool to insert line breaks (somehow) to > OCaml code that are written with insufficient (or no) line breaks? The unix command 'fmt --width 80' might fill the bill. No? > I could think of writing a compiler (using compiler-libs) that parses > the input and immediately pretty print it, but that would remove all > the comments in the program.