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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 407E97FC41 for ; Mon, 28 Sep 2015 15:10:57 +0200 (CEST) IronPort-PHdr: 9a23:vijTxxHa5P+2KpSvRP5HNJ1GYnF86YWxBRYc798ds5kLTJ75osWwAkXT6L1XgUPTWs2DsrQf27aQ7v2rBzRIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/ni6bvptaNO01hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv/h7TL7icq8kYbtdBTUgeyBptYy4/SXEGACG439ZVmQNjjJJBRLE5Vf0RMTfqCz/48pw3iWAPM6+Z7czXHz276ptRAXpiw8bMCY+8SfPjctpyqlcpUTy9FRE34fIbdTNZ7JFdaTHcIZGFGc= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=pra; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=mailfrom; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@april.topoi.pooq.com) identity=helo; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="postmaster@april.topoi.pooq.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DvAQA7OwlW/4aDpUVdgyRUrSORBAENgXuFeQKBQjgUAQEBAQEBAQGBCYIdgggBAQQ6NBsLDQsJBA8SDwUYGT2IBwMSDcYIA4UWAQEIAiCLcIRLSReDAYEUBYV8DI9ohRWHdQVRgUSHB5IjHwEBQoQdIogOgUYBAQE X-IPAS-Result: A0DvAQA7OwlW/4aDpUVdgyRUrSORBAENgXuFeQKBQjgUAQEBAQEBAQGBCYIdgggBAQQ6NBsLDQsJBA8SDwUYGT2IBwMSDcYIA4UWAQEIAiCLcIRLSReDAYEUBYV8DI9ohRWHdQVRgUSHB5IjHwEBQoQdIogOgUYBAQE X-IronPort-AV: E=Sophos;i="5.17,602,1437429600"; d="scan'208";a="148811334" Received: from unknown (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail3-smtp-sop.national.inria.fr with ESMTP; 28 Sep 2015 15:10:54 +0200 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id EE46A1A078F; Mon, 28 Sep 2015 09:08:30 -0400 (EDT) Date: Mon, 28 Sep 2015 09:08:30 -0400 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20150928130830.GD16620@topoi.pooq.com> References: <20150925181948.GA29830@topoi.pooq.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] Is tuareg crashing for anyone else? On Sun, Sep 27, 2015 at 10:11:40PM -0400, Stefan Monnier wrote: > > I've been using tuareg mode in emacs, and I find it crashing enough to > > be unusable. > > Describe "crashing". For me "crashing" means that the program > exits uncleanly (e.g. segmentation violation, core dump, this kind of > thing). AFAIK this technically cannot happen to Tuareg-mode, so if > that's what happens to you, it's a bug in Emacs rather than in Tuareg-mode. It stopped accepting any data or responding to anything I type. As if there's an endless loop somewhere. But upgrading tuareg seems to have worked. --- hendrik > > > Stefan > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs