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 sympa.inria.fr (Postfix) with ESMTPS id 5C680E0032 for ; Fri, 11 Jun 2021 08:21:43 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=basile@clement.pm; spf=Pass smtp.mailfrom=basile@clement.pm; spf=None smtp.helo=postmaster@tobiko.clement.pm Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of basile@clement.pm) identity=pra; client-ip=5.9.79.153; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="basile@clement.pm"; x-sender="basile@clement.pm"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of basile@clement.pm designates 5.9.79.153 as permitted sender) identity=mailfrom; client-ip=5.9.79.153; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="basile@clement.pm"; x-sender="basile@clement.pm"; 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@tobiko.clement.pm) identity=helo; client-ip=5.9.79.153; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="basile@clement.pm"; x-sender="postmaster@tobiko.clement.pm"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?A9a23=3ArlhrpRBPQ4rzOVxjsNZ3UyQUwkMY04WdBeb1wqQ?= =?us-ascii?q?uh78GSKm/5ZOqZBWZuaw8ygSQA86Gu7ptsKn/i+jYQ2sO4JKM4jgpUadncFs7s?= =?us-ascii?q?/gQhBEqG8WfCEf2f7bAZi0+G9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQp?= =?us-ascii?q?yO+/5BpPeg9642uyv/5DfeQtFiCe8bL99LBi7rhjau9ULj4dlNqs/0AbCrGFSe?= =?us-ascii?q?+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQP?= =?us-ascii?q?CTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnh?= =?us-ascii?q?zsGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7WYNEUSndbXstJVCJPH4O?= =?us-ascii?q?yYZUBAeUDM+ZXs4fyqFQBoxalGQmhB/nixiNUinLs36A31fkqHwHc3AwnGtIDq?= =?us-ascii?q?GnZo8/uNKcTVeC60rTDwCvHb/xI3Dfy9o7Icgw8qvyLRr1/a9HRyUgrFwzblVi?= =?us-ascii?q?ftYjlMC2Q1usTtWib8/BsVfqqi2M+rQx6vzegyNs2hIbTmoIV1k7L9T9/wIstO?= =?us-ascii?q?9G2Rk12bN6qHZVeuC+WK4R7T80sTW9mtyg3y7MLtJ20cSUU1Zgr2x/SZviaf4W?= =?us-ascii?q?K5h/uWumfLDVliX9rZr6yhBC/+lWuxO37U8m7yldKrixdn9nDt3ANyxzT6tWcR?= =?us-ascii?q?fdn4kih3jOP2gbO4e9HOUA5jarWJ4Qlz7IqlJcetV7PEjL2lUj4lKObclko9vK?= =?us-ascii?q?s5uj5eLnqu56RO5Juhgz+NqkjnNG0D/4iPQgURWeb/Pyx1L398k39R7VHluE2k?= =?us-ascii?q?q7Cv5DbJsQbobS1DBNR0ok97hawETGm0MgCkXkfKVJJYBOHj473NFHSOP31De2?= =?us-ascii?q?zjlC2nDppw/3KJKDtD5XDI3TblbfuZ7d960pSyAopytBf4opZBaobL/LoW0/xs?= =?us-ascii?q?MLXAwQlPAyw3ennDcty1oUCWW6VGq+ZNbvesUWU6eI3P+mMeIgVtS7hJPc/4v7?= =?us-ascii?q?uiWY1mVscfamywZsac2u4H/RjI0WBe3XgmNYBEWEQvgo/VuPmklOCUSQAL0q1C?= =?us-ascii?q?oEx4DAwCIPuJJzKR8j5iaeI3Q+6BdtRbWBPTFmHV3XwIcHMUP4JbGeWI9R9uj0?= =?us-ascii?q?CT7moDYE7hj+0swqv4bN8L+7ZsgYcuJfu0sQ9s+fajhA2+BR/C8mY3meRCXlxy?= =?us-ascii?q?DBbDwQq1bxy9BQugmyI1rJ11rkBTYQ7DxxhWQM3MJPa06piDoKrMuokVtyNRVO?= =?us-ascii?q?rRMngGTRjFrrZIvcSZEx8GNLkhRTO2iesH/kNku7TbKE=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AAFnIFKnCKzFsRxmHJIequFqVbbbpDfIV3DAb?= =?us-ascii?q?v31ZSRFFG/Fw8Pre58jztCWE7gr5PUtL9+xoV5PwJE80maQFgrX5eI3SODUO21?= =?us-ascii?q?HYVL2Kj7GC/9SIIUSXnYIz6U4jSdkYNDSaNzhHZKjBkWuF+pobsaC6GX+T6Nvj?= =?us-ascii?q?8w=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A9AwCyAMNgZJlPCQVaDnuDUy93VwEBO?= =?us-ascii?q?DGESJF9EZ0xCwEDAQ01CQECBAEBhFACCIJgAh0HAQQ0EwIEFQEBBQEBAQIBAwM?= =?us-ascii?q?EAQR/hWgNgjgpAYNkAQUjDwENAQE4DwsYAgImAgJXBgGDBIMLAQqpaYEygQGCB?= =?us-ascii?q?wEBBoJWgzmBWQMGgRAqhwmCZ4N6Jxw/gU6EOD6CYgKEd4JkhGWBUCy8ZYMmgSy?= =?us-ascii?q?IY5QSgTmCE5EnCJBplVKMF5hCgTI5IoFbMxoIMDuCaVAZDo9DAQKCSYVIhFFHP?= =?us-ascii?q?wEBMDgCBgEJAQEDCVkBAYkUAQE?= X-IPAS-Result: =?us-ascii?q?A0A9AwCyAMNgZJlPCQVaDnuDUy93VwEBODGESJF9EZ0xCwE?= =?us-ascii?q?DAQ01CQECBAEBhFACCIJgAh0HAQQ0EwIEFQEBBQEBAQIBAwMEAQR/hWgNgjgpA?= =?us-ascii?q?YNkAQUjDwENAQE4DwsYAgImAgJXBgGDBIMLAQqpaYEygQGCBwEBBoJWgzmBWQM?= =?us-ascii?q?GgRAqhwmCZ4N6Jxw/gU6EOD6CYgKEd4JkhGWBUCy8ZYMmgSyIY5QSgTmCE5EnC?= =?us-ascii?q?JBplVKMF5hCgTI5IoFbMxoIMDuCaVAZDo9DAQKCSYVIhFFHPwEBMDgCBgEJAQE?= =?us-ascii?q?DCVkBAYkUAQE?= X-IronPort-AV: E=Sophos;i="5.83,265,1616454000"; d="scan'208";a="512934259" X-MGA-submission: =?us-ascii?q?MDFH9ojQQ2l5xEiWcc56P4nnlNyr5eeYOsOeX2?= =?us-ascii?q?5k3liPoTkHHY5uFgJDQ6dJ2G9ITzebyxRpTsazn4KJFT2f3638d7DE9K?= =?us-ascii?q?saV+XZDHEIcUU6VhBhBY4Fkdvy9oar0YHMRz2vh7/qE6wfvOXiy3OZkJ?= =?us-ascii?q?2AAOHa0GjOmBMohiLZ47SCow=3D=3D?= Received: from tobiko.clement.pm ([5.9.79.153]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Jun 2021 08:21:12 +0200 Received: from localhost (localhost [127.0.0.1]) by tobiko.clement.pm (Postfix) with ESMTP id 7E56A201ED; Fri, 11 Jun 2021 08:21:11 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=clement.pm; s=mail; t=1623392471; bh=sAMYuoBTFJYdIoYgI4YkImqYXUPkQmSDnFRXyCCw6JI=; h=Subject:From:To:Date:In-Reply-To:References:From; b=JKwEfVEcgQmSr+nCLwLtSXjs5w1sy/PcT/LXhCR1f3rxWeDOdOqswofU1RvPB6H2E 7XWxyGCKNwmJUUU6sh8OT5jZy0+Ep5ZC2IyxZ1xu7hAjHjD6CyN0P13lQnyocA9fxg CMQUyGL8TNyIjmGO2gYdy4qXhQJ5M9oBaRONk2tI= X-Virus-Scanned: Debian amavisd-new at clement.pm Received: from tobiko.clement.pm ([127.0.0.1]) by localhost (tobiko.clement.pm [127.0.0.1]) (amavisd-new, port 10024) with LMTP id YTHYnaq1LzVz; Fri, 11 Jun 2021 08:21:09 +0200 (CEST) Received: from [192.168.1.18] (lfbn-idf2-1-1095-59.w90-92.abo.wanadoo.fr [90.92.161.59]) by tobiko.clement.pm (Postfix) with ESMTPSA id 781EF20199; Fri, 11 Jun 2021 08:21:09 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=clement.pm; s=mail; t=1623392469; bh=sAMYuoBTFJYdIoYgI4YkImqYXUPkQmSDnFRXyCCw6JI=; h=Subject:From:To:Date:In-Reply-To:References:From; b=QgNZPtzQhi4dU+iD+j9Z5DSvWuftTURzkEJPa4k66vl2S8E/6qj/0x3loisoVx6jb 8fMDJPxnv8v0YYZcDJzNIVeS9kiBwB4xmDtVNT9g8oDecZ9855iz3KDnpIb9JsgAf4 JPOXSd0R/J6KuIXDOjiG/Wp2FZcjSz7LCSwGK8hg= Message-ID: <64ff08d57fda7feded399f6d8f92d28ebd03387d.camel@clement.pm> From: Basile Clement To: Kenichi Asai , caml-list@inria.fr Date: Fri, 11 Jun 2021 08:21:07 +0200 In-Reply-To: <20210611061824.GA5373@pllab.is.ocha.ac.jp> References: <20210611061824.GA5373@pllab.is.ocha.ac.jp> Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.40.2 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] line breaking https://github.com/ocaml-ppx/ocamlformat is not exactly what you are asking for but might fit the bill - Basile On Fri, 2021-06-11 at 15:18 +0900, 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? > > 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. >