From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
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 DD15B80028
	for <caml-list@sympa.inria.fr>; Tue, 24 Jan 2017 13:35:26 +0100 (CET)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3APoaUcxffvBN76EXR05y8Csh2lGMj4u6mDksu8pMi?=
 =?us-ascii?q?zoh2WeGdxcSybB7h7PlgxGXEQZ/co6odzbGH7+a9ACdbsd6oizMrSNR0TRgLiM?=
 =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?=
 =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCzbL52Ixi6twXcutQZjYZsKas61wfErGZPd+?=
 =?us-ascii?q?lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLe?=
 =?us-ascii?q?TQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgz?=
 =?us-ascii?q?ocOjUn7G/YlNB/jKNDoBKguRN/xZLUYJqIP/Z6Z6/RYM8WSXZEUstXSidPAJ6z?=
 =?us-ascii?q?b5EXAuQPPehWsYrzqFkArRWjAgejC//gxDBViXLtwa030eYsHR3c0QA8Hd8Dtm?=
 =?us-ascii?q?nfotXvNKcVVOC41KfGwi/Fb/NXxzj97JDHfw09ufGKXLNwdcvRwlQoGgzYlFqQ?=
 =?us-ascii?q?r43lMC2R1ugXqGeb8vRvVeSuim4jqgF8uSagxt02iobTmoIVy0nE9Thnz4ovOd?=
 =?us-ascii?q?K4SFd2bNi5G5VesCGaMpF5QsIkQ2xwvyY11qcJuZu/fCQQz5Qn3RHfZ+SIc4iJ?=
 =?us-ascii?q?/hLjVPuRLixiiH15f7K/ghC/+lWjxO3kTsS50llHojBFn9TMrHwA1B3e5tKFR/?=
 =?us-ascii?q?Zy5kutxDSC2gPJ5u1ZJU05l7DXJ4A/zrM/jJYfr0vOEjLwlU7rlqGZbF8k9fKt?=
 =?us-ascii?q?6+n/YrXpuJucN4hshwHlN6QuhtS/Df42MwcQRGeb9/6z26H//U34R7VKiOc6nb?=
 =?us-ascii?q?XesJDfPcgbp6i5DBFJ0os76RuyAC2q3dQYkHUdL19IeQiLgormNl3WJfD3F/a/?=
 =?us-ascii?q?g1CikDdxwPDGO6XsDYjXIXjFkbfuY7J951RHxwou099f4ZNVCrUAIP/oREDxrs?=
 =?us-ascii?q?bYAQUlMwy12ubnFcty2pkCVmKPGqOZKr/dsUeU5uIzJOmBfJMatyz4K/gh/vLu?=
 =?us-ascii?q?iX45mUQBfaSyxpsWaHW4Hux8LEmDYHrshM0BEWYQsQYkQuzqkg7KbTkGQ3GvXr?=
 =?us-ascii?q?l0yTwgAo+8Ec+XQoewgafH0yqgFJBMekhBAVmJFW/ycMOPXPJaOwyIJco0vjUC?=
 =?us-ascii?q?VLWlfKW10wOqtUeux7NhL+fQvCcFuJTx0Nld6vfJnA0z7CF5Sc+dhTLeB1pol3?=
 =?us-ascii?q?8FEmdllJt0plZwnxLaifB1?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BhAwCjSIdYe0pWN0peHAEBBAEBCgEBF?=
 =?us-ascii?q?wEBBAEBCgEBgwkBAQEBAX8DgQeDUop7kRSXOyqFeAKCWRQBAQEBAQEBAQEBARI?=
 =?us-ascii?q?BAQsLCgkdL4IzGwGCGwEFIwRSEAsYAgImAgJHEAYbiRIECq1GgWs6iloBAQEBB?=
 =?us-ascii?q?gEBAQEBI4ELiSaBCYRJgwYugjEFm02GYo1Th1gPhj6SdzaCOIY6iEcBAQE?=
X-IPAS-Result: =?us-ascii?q?A0BhAwCjSIdYe0pWN0peHAEBBAEBCgEBFwEBBAEBCgEBgwk?=
 =?us-ascii?q?BAQEBAX8DgQeDUop7kRSXOyqFeAKCWRQBAQEBAQEBAQEBARIBAQsLCgkdL4IzG?=
 =?us-ascii?q?wGCGwEFIwRSEAsYAgImAgJHEAYbiRIECq1GgWs6iloBAQEBBgEBAQEBI4ELiSa?=
 =?us-ascii?q?BCYRJgwYugjEFm02GYo1Th1gPhj6SdzaCOIY6iEcBAQE?=
X-IronPort-AV: E=Sophos;i="5.33,278,1477954800"; 
   d="scan'208";a="210666711"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 24 Jan 2017 13:35:25 +0100
Received: from [172.20.10.2] (241.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch [178.197.224.241])
	by smtp.webfaction.com (Postfix) with ESMTP id 2785321CFBC6;
	Tue, 24 Jan 2017 12:35:20 +0000 (UTC)
Date: Tue, 24 Jan 2017 13:35:18 +0100
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Louis Gesbert <louis.gesbert@ocamlpro.com>
Cc: caml-list@inria.fr, Christophe Raffalli <christophe@raffalli.eu>
Message-ID: <1479F3A46A244541857BCDA472901816@erratique.ch>
In-Reply-To: <2754948.nqurzsgqqR@agaric>
References: <20170123081914.khlfptehb33wmflf@delli7.univ-savoie.fr>
 <2754948.nqurzsgqqR@agaric>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Subject: Re: [Caml-list] type keyword indentation with tuareg

On Tuesday, 24 January 2017 at 09:46, Louis Gesbert wrote:
> Try ocp-indent (http://opam.ocaml.org/packages/ocp-indent/) for better indentation, based on a token stack rather than regexps. It plugs in to tuareg easily.
> 
> (and gives:
> 
> let f : type a.a -> a =
> fun x -> x
> )

Is this released ? With [2], the `fun` gets indented. There's an old issue about this [1]

Best, 

Daniel

[1] https://github.com/OCamlPro/ocp-indent/issues/188
[2]
> ocp-indent --version
1.5.3
> ocp-indent --print-config
base = 2
type = 2
in = 0
with = 0
match_clause = 2
ppx_stritem_ext = 2
max_indent = 4
strict_with = never
strict_else = always
strict_comments = false
align_ops = true

align_params = auto