From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <monnier@iro.umontreal.ca>
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 B73C48239C
	for <caml-list@sympa.inria.fr>; Fri, 24 Nov 2017 03:20:14 +0100 (CET)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=monnier@iro.umontreal.ca; spf=SoftFail smtp.mailfrom=monnier@iro.umontreal.ca; spf=None smtp.helo=postmaster@pmta21.teksavvy.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  monnier@iro.umontreal.ca) identity=pra;
  client-ip=76.10.157.36;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="monnier@iro.umontreal.ca";
  x-sender="monnier@iro.umontreal.ca";
  x-conformance=sidf_compatible
Received-SPF: SoftFail (mail2-smtp-roc.national.inria.fr: domain
  of monnier@iro.umontreal.ca is inclined to not designate
  76.10.157.36 as permitted sender) identity=mailfrom;
  client-ip=76.10.157.36;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="monnier@iro.umontreal.ca";
  x-sender="monnier@iro.umontreal.ca";
  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@pmta21.teksavvy.com) identity=helo;
  client-ip=76.10.157.36;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="monnier@iro.umontreal.ca";
  x-sender="postmaster@pmta21.teksavvy.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3A2aam3hFWaXzpyglrkSmNOJ1GYnF86YWxBRYc798d?=
 =?us-ascii?q?s5kLTJ76oc+wAkXT6L1XgUPTWs2DsrQf1LqQ7viocFdDyKjCmUhKSIZLWR4BhJ?=
 =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TXhpQIVTx72MA4w?=
 =?us-ascii?q?IuXuBqbTid623qa84c79eQJN0QGhbL17Kl2TqgPXt8QMyd9nLaA3yxbTinpSfK?=
 =?us-ascii?q?JLwGRuOUielhK67c7mr80ryDhZp/90r50Iaq79ZaltFbE=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CIAwAsgRdahySdCkxbHQEBBQELAYUQn?=
 =?us-ascii?q?VqBfZh9CoU7AoRWQhUBAQEBAQEBAQEBEgEBAQoLCQgoL4I4IoJGAQICAX4LCzQ?=
 =?us-ascii?q?SFBiKXgirSyECilsBCyaDOoIHhmmEW4ENhSwFkwqPPJcJAYl2KIcyljqBOjWBc?=
 =?us-ascii?q?zIaCDCCY4JhJYFsjEMBAQE?=
X-IPAS-Result: =?us-ascii?q?A0CIAwAsgRdahySdCkxbHQEBBQELAYUQnVqBfZh9CoU7AoR?=
 =?us-ascii?q?WQhUBAQEBAQEBAQEBEgEBAQoLCQgoL4I4IoJGAQICAX4LCzQSFBiKXgirSyECi?=
 =?us-ascii?q?lsBCyaDOoIHhmmEW4ENhSwFkwqPPJcJAYl2KIcyljqBOjWBczIaCDCCY4JhJYF?=
 =?us-ascii?q?sjEMBAQE?=
X-IronPort-AV: E=Sophos;i="5.44,444,1505772000"; 
   d="scan'208";a="302280422"
Received: from pmta21.teksavvy.com ([76.10.157.36])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Nov 2017 03:20:12 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A2HFYQB1gBda/3HQSC1bHAECBAELAYM9g?=
 =?us-ascii?q?VSDW4pRjy6BfZh9hUUChFZCFQEBAQEBAQEBAQNoKIUhAQQBfgsLDScSFBiKXgi?=
 =?us-ascii?q?rTCECilsygzqCB4ZphFuBDYUsBZMKjzyXCQGJdiiHMpd0NSSBUDIaCDCCY4MGg?=
 =?us-ascii?q?WwjjCABAQE?=
X-IPAS-Result: =?us-ascii?q?A2HFYQB1gBda/3HQSC1bHAECBAELAYM9gVSDW4pRjy6BfZh?=
 =?us-ascii?q?9hUUChFZCFQEBAQEBAQEBAQNoKIUhAQQBfgsLDScSFBiKXgirTCECilsygzqCB?=
 =?us-ascii?q?4ZphFuBDYUsBZMKjzyXCQGJdiiHMpd0NSSBUDIaCDCCY4MGgWwjjCABAQE?=
X-IronPort-AV: E=Sophos;i="5.44,444,1505793600"; 
   d="scan'208";a="9758176"
Received: from unknown (HELO pastel.home) ([45.72.208.113])
  by smtp.teksavvy.com with ESMTP; 23 Nov 2017 21:20:09 -0500
Received: by pastel.home (Postfix, from userid 20848)
	id 465BB604E0; Thu, 23 Nov 2017 21:20:08 -0500 (EST)
From: Stefan Monnier <monnier@iro.umontreal.ca>
To: caml-list@inria.fr
Message-ID: <jwv4lpkl8qc.fsf-monnier+gmane.comp.lang.caml.inria@gnu.org>
References: <6c2af6b6-2f9f-7f12-2bbf-22b1286d29d5@matej-kosik.net>
	<jwvk1yjpfo8.fsf-monnier+Inbox@gnu.org>
	<3b5de67c-859b-27f6-9408-49cdb6285712@matej-kosik.net>
Date: Thu, 23 Nov 2017 21:20:08 -0500
In-Reply-To: <3b5de67c-859b-27f6-9408-49cdb6285712@matej-kosik.net> ("Matej
	=?utf-8?B?S2/FocOtayIncw==?= message of "Thu, 23 Nov 2017 10:53:43 +0100")
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Validation-by: monnier@iro.umontreal.ca
Subject: Re: [Caml-list] What is the right way to configure Tuareg to get
 the same indentation as in Batteries Included?

> After following the above instructions, I was able to tweak the Emacs
> behavior in the desired way.
> Thank you!
> What puzzled me was that once I restart Eamcs, I get the old behavior.

Turned out it was a bug in the smie-config code.  This is fixed in
Emacs-26.


        Stefan