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 477A27ED1C for ; Fri, 25 Sep 2015 22:30:30 +0200 (CEST) IronPort-PHdr: 9a23:dWRvohKzGer/fkuMaNmcpTZWNBhigK39O0sv0rFitYgULPvxwZ3uMQTl6Ol3ixeRBMOAu64C1rOempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lRsiP1oye7KObxd76W01wnj2zYLd/fl2djD76kY0ou7ZkMbs70RDTo3FFKKx8zGJsIk+PzV6nvp/jtLYqySlbuuog+shcSu26Ov1gFf0LRAghZkA44sHxtBqLZwyI4zNIUmgQngBJACDZ6wn9X9HptSzj8OF63X/JE9fxSOUOUDCsp5txRR7uhSFPYyIj/WDRh8pYgrhWrVSvvUoskMbvfIiJOa8mLevmdtQASD8EB54JWg== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=treinen@free.fr; spf=None smtp.mailfrom=treinen@free.fr; spf=None smtp.helo=postmaster@mo18.mail-out.ovh.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of treinen@free.fr) identity=pra; client-ip=178.32.228.18; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="treinen@free.fr"; x-sender="treinen@free.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of treinen@free.fr) identity=mailfrom; client-ip=178.32.228.18; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="treinen@free.fr"; x-sender="treinen@free.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mo18.mail-out.ovh.net) identity=helo; client-ip=178.32.228.18; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="treinen@free.fr"; x-sender="postmaster@mo18.mail-out.ovh.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BHAQAwrgVWmxLkILJdwieHdAKBLDkTAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIHAQEBAwE6PwULCxgJExIPBUmIKwENDAHGSwmFTgEBAQEGAQEBAR6LcIUNBzGCZ4EUAQSVbI0IBZsuIwOEQIoQAQEB X-IPAS-Result: A0BHAQAwrgVWmxLkILJdwieHdAKBLDkTAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIHAQEBAwE6PwULCxgJExIPBUmIKwENDAHGSwmFTgEBAQEGAQEBAR6LcIUNBzGCZ4EUAQSVbI0IBZsuIwOEQIoQAQEB X-IronPort-AV: E=Sophos;i="5.17,588,1437429600"; d="scan'208";a="179490201" Received: from mo18.mail-out.ovh.net ([178.32.228.18]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 25 Sep 2015 22:30:29 +0200 Received: from seneca.home.org (10-85-190-109.dsl.ovh.fr [109.190.85.10]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mo18.mail-out.ovh.net (Postfix) with ESMTPS id 46918FF8EC0; Fri, 25 Sep 2015 22:30:29 +0200 (CEST) Received: from rt by seneca.home.org with local (Exim 4.86) (envelope-from ) id 1ZfZdU-00056X-Ct; Fri, 25 Sep 2015 22:30:28 +0200 Date: Fri, 25 Sep 2015 22:30:27 +0200 From: Ralf Treinen To: Hendrik Boom Cc: caml-list@inria.fr Message-ID: <20150925203027.GA32234@seneca.home.org> Mail-Followup-To: Hendrik Boom , caml-list@inria.fr References: <20150925181948.GA29830@topoi.pooq.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20150925181948.GA29830@topoi.pooq.com> User-Agent: Mutt/1.5.23 (2014-03-12) X-Ovh-Tracer-Id: 12602479135523110186 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: -100 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeekgedrhedtucetufdoteggucfrrhhofhhilhgvmecuqfggjfenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddm Subject: Re: [Caml-list] Is tuareg crashing for anyone else? Hello, On Fri, Sep 25, 2015 at 02:19:48PM -0400, Hendrik Boom wrote: > I've been using tuareg mode in emacs, and I find it crashing enough to be unusable. > It seems to happen when I'm editing a typed function argument, such as > the arguents in: [...] > I'm running devuan jessie, with packages opam 1.2.0-1, tuareg1:2.0.7-1, > and emacs24 23+4.1-5. do you also observe the crashes with 1:2.0.9-2 from debian ? Upstream 1:2.0.9 fixed a bad interaction with show-paren-mode (debian bug #780805) -Ralf.