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 278845D5 for ; Fri, 11 Jun 2021 06:18:50 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.83,265,1616454000"; d="scan'208";a="512933761" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Jun 2021 08:18:48 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 72B2EE0047; Fri, 11 Jun 2021 08:18:48 +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 E3D98E0032 for ; Fri, 11 Jun 2021 08:18:40 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=asai@is.ocha.ac.jp; spf=Pass smtp.mailfrom=asai@is.ocha.ac.jp; spf=None smtp.helo=postmaster@web.is.ocha.ac.jp IronPort-PHdr: =?us-ascii?q?A9a23=3AaCf3rRS/Ja5nUd9A9FMXygE9k9psoryfAWYlg6H?= =?us-ascii?q?Pa5pwe6iut67vIFbYra00ygOQDMOAsqwP1rqempujcFRI2YyGvnEGfc4EfD4+o?= =?us-ascii?q?uJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgp?= =?us-ascii?q?pPOT1HZPZg9iq2+yo9JDffgFFiCCzbL9vLRi6ogXcu8oLioZ+N6g9zQfErGFVc?= =?us-ascii?q?OpM32NoIlyTnxf45siu+ZNo7jpdtfE8+cNeSKv2Z6s3Q6BWAzQgKGA1+dbktQL?= =?us-ascii?q?fQguV53sTSXsZnxxVCAXY9h76X5Pxsizntuph3SSRIMP7QawoVTmk8qxmTgLjh?= =?us-ascii?q?iUaOD4j6GzZhMx+grxGrhyiqBNw35Pbb4+OOfpiYq/QZ88WSXZbU8pPUSFKH4O?= =?us-ascii?q?yb5EID+oEJetWqpfyp10PrRSiBQmsBf7kxyNThnDs3K0xzuMsHhvd3AM6HtIDq?= =?us-ascii?q?3XUrM7vOKcVTe+1zLPHwS/ZYPxKwzv96pDIfwknrPqRUr1+bdDfxlMzFwPZkFq?= =?us-ascii?q?Qs4rlMiuL2ukNs2WX8+ltWP6yh2AotQx8rDeiy8gvh4TXiIwZ1k7I+CZnzIs0K?= =?us-ascii?q?tC1SVJ3b96qHZdMtyyXN4t4T8EmTmx1visx174IuYajcSQXxpkqyQTTZv2HfoS?= =?us-ascii?q?S4x/uW/ydLSpkiH59Zb6yiRi//VKhx+D8TMW50VZHojBbntTKq3sDzQbc6tKdR?= =?us-ascii?q?ft45kqh2SiA1wTU6uxcL0E7i7HUJ4Qgwr4rjJYTtljMHi/sl0nslqCZal8o+uq?= =?us-ascii?q?w6+j/Y7XmoIGTN5Nshw3jPKkjlNazDOU4PwQUXmWW9v6w2KD/8UHhRbVFlPw2k?= =?us-ascii?q?q3XsJDAIsQbo7a0DBVO0ok56hayFDam0M8CkXkAMF1FeAiIg5LzNF7SOvz4D++?= =?us-ascii?q?/j0y2kDh33/DGIqHhApLVI3ffirjheLJ951dYyAoy1tBf+4lZCqoBIfL2Qk/+r?= =?us-ascii?q?sbUDh4/MwyuwuboEs9x1o0EWTHHPqjMO6rXtRqM5/kzC+iKfo4c/jjneNY/4Pu?= =?us-ascii?q?7rnI/mFQdfOGAxpIWICSxBf1nC0SCJ33ngt5HGGxMvBJoH7+is0GLTTMGPyX6Z?= =?us-ascii?q?Kk7/DxuUOpO7K/cS4rrgafH2yy7F9tfbSZEEgLUeZ8NX4SfHfAHaCvUK8QnkCR?= =?us-ascii?q?WDdBJpKcgzlepvw/zjbNsaOjMqHRwiA=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AwVFMDqltrlxPb1idtgx/uB4jaSzpDfJJ3DAb?= =?us-ascii?q?v31ZSRFFG/Fw9vrPoB1173XJYVoqNU3I+urgBEDjexzhHPdOiOF7AV7LZniEhI?= =?us-ascii?q?LCFu9fBOXZrwHdJw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A2BwDc/sJg/wpAQYVaHgEBCxIMQINTL?= =?us-ascii?q?4FPOag0jAUCCQEDAQsBAT8CBAEBhzoCHQcBBDQTAgQVAQEFAQEBAgEDAwQBcBO?= =?us-ascii?q?FdYI4IoQEKIE0IAEFARZBhVYBnQOBBD2LMIE0gQGHZiJMgSwSgSiOLYINigeDA?= =?us-ascii?q?IIuBIYxLI1nB5IUnGODJoNSmgsEFSuDTAGRGgyQcYl/sAMCCgcGECOBSCSBWTM?= =?us-ascii?q?aCDCDJU8ZDo9DAQKNNjNpAgYKAQEDCVYmE4hgAQE?= X-IPAS-Result: =?us-ascii?q?A0A2BwDc/sJg/wpAQYVaHgEBCxIMQINTL4FPOag0jAUCCQE?= =?us-ascii?q?DAQsBAT8CBAEBhzoCHQcBBDQTAgQVAQEFAQEBAgEDAwQBcBOFdYI4IoQEKIE0I?= =?us-ascii?q?AEFARZBhVYBnQOBBD2LMIE0gQGHZiJMgSwSgSiOLYINigeDAIIuBIYxLI1nB5I?= =?us-ascii?q?UnGODJoNSmgsEFSuDTAGRGgyQcYl/sAMCCgcGECOBSCSBWTMaCDCDJU8ZDo9DA?= =?us-ascii?q?QKNNjNpAgYKAQEDCVYmE4hgAQE?= X-IronPort-AV: E=Sophos;i="5.83,265,1616454000"; d="scan'208";a="384131731" X-MGA-submission: =?us-ascii?q?MDFZ/1NCRFRk67xOma3nduXZK88MAT1LKwPnHZ?= =?us-ascii?q?tPFm39A7TImqDf1EXyVnmCWa+8v7a3ycyOo2KbgUWVawVlM/gSEuSPHN?= =?us-ascii?q?tztxDstC2mncs68P04Yd/pfuzZ8GFGr8aVbH49moL41rU+32m9Uze39d?= =?us-ascii?q?P9DxCAV+V1cVMb+AeV+AZYAw=3D=3D?= Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Jun 2021 08:18:38 +0200 Received: from mail-pf1-f200.google.com (mail-pf1-f200.google.com [209.85.210.200]) by web.is.ocha.ac.jp (Postfix) with ESMTP id 8F0AC36002F for ; Fri, 11 Jun 2021 15:18:35 +0900 (JST) Received: by mail-pf1-f200.google.com with SMTP id e19-20020aa78c530000b02902e9ca53899dso2630237pfd.22 for ; Thu, 10 Jun 2021 23:18:35 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:subject:message-id:mime-version :content-disposition:user-agent; bh=+9cKXIvP3ZyGujhh28zSVULA6gZFILzLS8BYnm2TU2Q=; b=l/AeWHFimXXr1wQ2WHXNs9diYUxp+yfzKNoIeiVs2ihY+Gt465V1n4BQJ+jsDhbw07 TvoJBAr/mb7nyxSSf/kWWY8PH4s/SuPlg5gps+6zG903pKOzziBhAbrM2sayWEy+dAe0 uM8R7N3hOj5WVendAc7m+9qOZZLcd28IjhJEs8FP92CfZdehWpG+G7tQ6YM6o+x2fgIc gCnFB0LylwbUBYwd+LWSsqE7AlTp5tGE2jQPES/fgwRifPipLdw7W1HGVzCy6u46qmp1 tWGP00hrg8FFg7VKrNWkt4rjPcjfs5joKEm1Fbx/uMa9eouAHM5e+tAsmyAl3eq9iehb bJCA== X-Gm-Message-State: AOAM531L1H5AT+iHXMs/8uQOkLsJLmXrb/sEq0OURoObeRkKT8BDZ6i6 McGsuaucdLfNRtikPklzHnBzQH9BFY4ehMsXCgumemOuHKcIFEKBAXscQP5eMBDEiwBctYYuFsH qPzA5gigF/Gde X-Received: by 2002:a17:90b:4b88:: with SMTP id lr8mr2872858pjb.85.1623392314846; Thu, 10 Jun 2021 23:18:34 -0700 (PDT) X-Google-Smtp-Source: ABdhPJxZqaqPZZv1qWUuXMEJhNX6O3XQNwKP+mEuu5RfTwkNJrdR6xlbE+QIKeN7bllqWNf5sEpmKA== X-Received: by 2002:a17:90b:4b88:: with SMTP id lr8mr2872837pjb.85.1623392314620; Thu, 10 Jun 2021 23:18:34 -0700 (PDT) Received: from localhost ([133.65.65.2]) by smtp.gmail.com with ESMTPSA id e2sm5543027pjc.37.2021.06.10.23.18.33 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 10 Jun 2021 23:18:34 -0700 (PDT) Date: Fri, 11 Jun 2021 15:18:24 +0900 From: Kenichi Asai To: caml-list@inria.fr Message-ID: <20210611061824.GA5373@pllab.is.ocha.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.12.1 (2019-06-15) Subject: [Caml-list] line breaking Reply-To: Kenichi Asai X-Loop: caml-list@inria.fr X-Sequence: 18521 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: 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. -- Kenichi Asai