From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <louis.gesbert@ocamlpro.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
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 6C8667F61E
	for <caml-list@sympa.inria.fr>; Tue, 24 Jan 2017 09:46:15 +0100 (CET)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=louis.gesbert@ocamlpro.com; spf=None smtp.mailfrom=louis.gesbert@ocamlpro.com; spf=None smtp.helo=postmaster@vps119294.ovh.net
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  louis.gesbert@ocamlpro.com) identity=pra;
  client-ip=37.187.244.36;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="louis.gesbert@ocamlpro.com";
  x-sender="louis.gesbert@ocamlpro.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  louis.gesbert@ocamlpro.com) identity=mailfrom;
  client-ip=37.187.244.36;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="louis.gesbert@ocamlpro.com";
  x-sender="louis.gesbert@ocamlpro.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@vps119294.ovh.net) identity=helo;
  client-ip=37.187.244.36;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="louis.gesbert@ocamlpro.com";
  x-sender="postmaster@vps119294.ovh.net";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3AINMXtxBdR/AZJWZLXJdHUyQJP3N1i/DPJgcQr6Af?=
 =?us-ascii?q?oPdwSPT+ocbcNUDSrc9gkEXOFd2CrakV16yL6+u5AzNIyK3CmUhKSIZLWR4BhJ?=
 =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?=
 =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZbx/IA+2oAnNucUanJVuJ6QswRbVv3VEfP?=
 =?us-ascii?q?hby3l1LlyJhRb84cmw/J9n8ytOvv8q6tBNX6bncakmVLJUFDspPXw7683trhnD?=
 =?us-ascii?q?UBCA5mAAXWUMkxpHGBbK4RfnVZrsqCT6t+592C6HPc3qSL0/RDqv47t3RBLulS?=
 =?us-ascii?q?wKLCAy/n3JhcNsjaJbuBOhqAJ5w47Ie4GeKf5ycrrAcd8GWWZNW8BcXDFDDIyh?=
 =?us-ascii?q?dYsCF+oPM/hFoYfzpFUOqhmxBQejC+3g1jBFnWP207Ag3ug9DQ3KwBIsEtQTu3?=
 =?us-ascii?q?rUttX1M6ISXPizwqnP0DXDbuhW0ir85ofWaRAuuu+DXahsccHMzkQvEwTFjkiR?=
 =?us-ascii?q?qYz+JT+V2foCs3OA4OV+T+Kvl3UqqwZtrTe1w8csjpHJhpgSylze6Sp5x4M1KM?=
 =?us-ascii?q?S+RUVmb9CkF55QuDubN4twWs4iRH1ntzw/yr0Co5K7ezIKyJshyhXCaPKHa5CF?=
 =?us-ascii?q?7xzhWeqLPDt1h3BodKihixu9/kWs0OPxW8iy3V1XtCRKiMPMuWoI1xHL6siIVP?=
 =?us-ascii?q?99/kC51DaRzwDT8fxILV0wmKbFL5MszaQ8lp0NsUTDBCP2nlv5jLOOekUl/Oin?=
 =?us-ascii?q?9fjnb63oq5KeLYN4lwLzP6Y0lsChDuk1PRICUmaa9Oik0b3s50z5QLFEjv0sla?=
 =?us-ascii?q?nZtYjXJcAcpq6kAg9VyZwv6xmhADe9y9sXg2MHLE5edRKAk4fmIVTOIPTgDfel?=
 =?us-ascii?q?hFSgiitkx/fDPrH5GJXCMmDDkKv9fbZ680NT1BA8zdVb555NDrEBIenzWlPqud?=
 =?us-ascii?q?zDDh45NhS0zPz9BNV80IMeQ2OPDbWDPKPcq1/brt4oduKFYYtQvDfmN9Ak4eTv?=
 =?us-ascii?q?hDk3gxtVVqmz3IALb2i4E7xcKkuXaH7og59VGmcQvxEiS/TqhXWYWDBdbnK2Xu?=
 =?us-ascii?q?Qx+2doJpihCNLnQZ2sm/Su0TyxE4dKLjRCDU2NCjHnep6OVu0QQCWZK8pliiYD?=
 =?us-ascii?q?E7OmTtlyhlmVqAbmxu8/faLv8SoCuMemjYAt6g=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AOBQCmE4dY/yT0uyVeg2QBAQEBAX+BC?=
 =?us-ascii?q?oUxiRydW4IghkSCDSqFdAICAgiCRhYBAQEBAQEBAQEBAWEogjMbAYIbBicTTws?=
 =?us-ascii?q?hFRAPAUcGAYkwCq8XOopbMoZLhG+ESYVlBZtNgXyEZoxpaodbhkqSdyYFLEVTE?=
 =?us-ascii?q?x1Phjo9iAoBAQE?=
X-IPAS-Result: =?us-ascii?q?A0AOBQCmE4dY/yT0uyVeg2QBAQEBAX+BCoUxiRydW4IghkS?=
 =?us-ascii?q?CDSqFdAICAgiCRhYBAQEBAQEBAQEBAWEogjMbAYIbBicTTwshFRAPAUcGAYkwC?=
 =?us-ascii?q?q8XOopbMoZLhG+ESYVlBZtNgXyEZoxpaodbhkqSdyYFLEVTEx1Phjo9iAoBAQE?=
X-IronPort-AV: E=Sophos;i="5.33,277,1477954800"; 
   d="scan'208";a="210618896"
Received: from antislash.info (HELO vps119294.ovh.net) ([37.187.244.36])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Jan 2017 09:46:14 +0100
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
To: caml-list@inria.fr, Christophe Raffalli <christophe@raffalli.eu>
Date: Tue, 24 Jan 2017 09:46:12 +0100
Message-ID: <2754948.nqurzsgqqR@agaric>
Organization: OCamlPro
In-Reply-To: <20170123081914.khlfptehb33wmflf@delli7.univ-savoie.fr>
References: <20170123081914.khlfptehb33wmflf@delli7.univ-savoie.fr>
MIME-Version: 1.0
Content-Transfer-Encoding: 7Bit
Content-Type: text/plain; charset="us-ascii"
X-Validation-by: louis.gesbert@ocamlpro.com
Subject: Re: [Caml-list] type keyword indentation with tuareg

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

)

> - Christophe Raffalli, 23/01/2017 09:19 -
> 
> Hello,
> 
> I search briefly on google and found nothing suprinsingly ... OCaml modern extension
> seems badly supported by tuareg. In particular the type keyword for polymorphic type:
> 
> let f : type a.a -> a =
>           fun x -> x
> 
> Does anyone have a quick fix ?
> 
> Cheers,
> Christophe