From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 AB3537F61E for ; Mon, 23 Jan 2017 09:19:17 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=christophe@raffalli.eu; spf=Pass smtp.mailfrom=christophe@raffalli.eu; spf=None smtp.helo=postmaster@mailler06.lws-hosting.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christophe@raffalli.eu) identity=pra; client-ip=80.248.217.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="christophe@raffalli.eu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of christophe@raffalli.eu designates 80.248.217.194 as permitted sender) identity=mailfrom; client-ip=80.248.217.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="christophe@raffalli.eu"; 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@mailler06.lws-hosting.com) identity=helo; client-ip=80.248.217.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="postmaster@mailler06.lws-hosting.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AJP3myh+sZN4ejf9uRHKM819IXTAuvvDOBiVQ1KB9?= =?us-ascii?q?0+4cTK2v8tzYMVDF4r011RmSDNmdt6IP1Lee8/i5HzdfsdDZ6DFKWacPfiFGoP?= =?us-ascii?q?1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkIm?= =?us-ascii?q?btjyT8TZhsGzkuSz4IH7YgNShTP7b6k4ZEG9pADV880XmpdKK6AryxKPrGEeKM?= =?us-ascii?q?pMwmY9DlKJng3g4d+w8dZZ+ipesvYl9oYUWqXgfr8kSqRYARw8Om477cnvtF/O?= =?us-ascii?q?UF3ctTMnTmwKn08QUED+5xbgU8Kpvw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A7AwDhu4VYVMLZ+FBdg20BAQEBAR+BR?= =?us-ascii?q?YN3inqmQIINiEA/GAEBAQEBAQEBAQEBBQEZCwoGICULgjMZgkcEgQ4hAhE0Dgy?= =?us-ascii?q?JHwScFJABgWs6imEPkwqCXgWJB5JEkV0NZ3gBgXCNHpJ2H31lIIQ2AQoBAQGCP?= =?us-ascii?q?4h1AQEB?= X-IPAS-Result: =?us-ascii?q?A0A7AwDhu4VYVMLZ+FBdg20BAQEBAR+BRYN3inqmQIINiEA?= =?us-ascii?q?/GAEBAQEBAQEBAQEBBQEZCwoGICULgjMZgkcEgQ4hAhE0DgyJHwScFJABgWs6i?= =?us-ascii?q?mEPkwqCXgWJB5JEkV0NZ3gBgXCNHpJ2H31lIIQ2AQoBAQGCP4h1AQEB?= X-IronPort-AV: E=Sophos;i="5.33,273,1477954800"; d="asc'?scan'208";a="256844868" Received: from mailler06.lws-hosting.com ([80.248.217.194]) by mail2-smtp-roc.national.inria.fr with ESMTP; 23 Jan 2017 09:19:17 +0100 Received: from mailler06.lws-hosting.com (ip6-localhost [127.0.0.1]) by filter3.lws (Postfix) with ESMTP id 834531D80738 for ; Mon, 23 Jan 2017 09:19:16 +0100 (CET) Received: from mailler06.lws-hosting.com (ip6-localhost [127.0.0.1]) by filter2.lws (Postfix) with ESMTP id 6B65A1D806C3 for ; Mon, 23 Jan 2017 09:19:16 +0100 (CET) Received: from mailler06.lws-hosting.com (ip6-localhost [127.0.0.1]) by filter1.lws (Postfix) with ESMTP id 3BDA71D80738 for ; Mon, 23 Jan 2017 09:19:16 +0100 (CET) X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on mailler06.lws-hosting.com X-Spam-Level: **** X-Spam-Virus: No Received: from raffalli.eu (vps29067.lws-hosting.com [192.162.68.177]) by mailler06.lws-hosting.com (Postfix) with ESMTP id 25CCF1D806C3 for ; Mon, 23 Jan 2017 09:19:16 +0100 (CET) Received: from localhost (nat-eduroam-l178.univ-savoie.fr [193.48.131.178]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by raffalli.eu (Postfix) with ESMTPSA id E8D83352071A for ; Mon, 23 Jan 2017 09:19:15 +0100 (CET) Date: Mon, 23 Jan 2017 09:19:15 +0100 From: Christophe Raffalli To: "caml-list@inria.fr" Message-ID: <20170123081914.khlfptehb33wmflf@delli7.univ-savoie.fr> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="giv24bcr7ftxycwk" Content-Disposition: inline User-Agent: NeoMutt/20161126 (1.7.1) X-Validation-by: christophe@raffalli.eu Subject: [Caml-list] type keyword indentation with tuareg --giv24bcr7ftxycwk Content-Type: text/plain; charset=utf-8 Content-Disposition: inline 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 --giv24bcr7ftxycwk Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAABCAAdFiEEJ369adg37nCCF0BCVXIaPfvmsfAFAliFvH8ACgkQVXIaPfvm sfDVqgf8CGyOOgnSLpFN0rU5ZbTAWV8Wm6pH0krnT5jK5WgXDHbgS2COenzClz9r z4qknWROam8zfRTmiwW1h3P3okuL+IqZAPrj/MGAU7N+Wy7Bkc5+VWpjTD/L70qW jB8HJmos4kM4OT5XwH7E0WHiTWBZqRvj+zhNj8NGhLnXaaqzNFNAS6ftym7wcAfQ 7bjUTTeNEoLa1aZjuhXGZbhcRGvAUvWXw6OjNuJWuGe8RC3Exg/IrhRHB5OGsLi+ fgQhJbMyfWK0r/RWS9H1sLNAiAF7VhuR/O096KotNV1Ur3GxGq0uY0IKp9TaEjOg Sf/9EYARSXZieIZv42+0vI0ytINgUg== =Xj7f -----END PGP SIGNATURE----- --giv24bcr7ftxycwk--