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 D05F97F736 for ; Mon, 28 Sep 2015 04:11:48 +0200 (CEST) IronPort-PHdr: 9a23:io3tPhKRc7Zhb005G9mcpTZWNBhigK39O0sv0rFitYgULvnxwZ3uMQTl6Ol3ixeRBMOAu64C1rad6vq/EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35jxirz5oseMKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvDxdqE8CLhZFygOMmYv5cStuwOQYxGI4y4nTmgYmxwAJg/D6hD3RN+ltyz8sOtwwgGbJ8qwULUzXyi44q5vDhTh3nRUfwUl+X3a35QjxJlQpwis8kRy Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=monnier@iro.umontreal.ca; spf=Pass smtp.mailfrom=gclci-caml-list@m.gmane.org; spf=Pass smtp.helo=postmaster@plane.gmane.org 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=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="monnier@iro.umontreal.ca"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gclci-caml-list@m.gmane.org designates 80.91.229.3 as permitted sender) identity=mailfrom; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gclci-caml-list@m.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@plane.gmane.org designates 80.91.229.3 as permitted sender) identity=helo; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="postmaster@plane.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BCAQCboAhWgQPlW1BcsgyQDwENiSI4FAEBAQEBAQEBEAEBFjMugh2CCAEEAX4LC0YUKBuIPwgEAcp/i3CFK4QVAQSVcKcHgUcfAQGCDAEBCAIBgkaJdgEBAQ X-IPAS-Result: A0BCAQCboAhWgQPlW1BcsgyQDwENiSI4FAEBAQEBAQEBEAEBFjMugh2CCAEEAX4LC0YUKBuIPwgEAcp/i3CFK4QVAQSVcKcHgUcfAQGCDAEBCAIBgkaJdgEBAQ X-IronPort-AV: E=Sophos;i="5.17,600,1437429600"; d="scan'208";a="179659777" Received: from plane.gmane.org ([80.91.229.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 28 Sep 2015 04:11:47 +0200 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1ZgNur-0000Yt-Fs for caml-list@inria.fr; Mon, 28 Sep 2015 04:11:45 +0200 Received: from 69-196-162-108.dsl.teksavvy.com ([69.196.162.108]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 28 Sep 2015 04:11:45 +0200 Received: from monnier by 69-196-162-108.dsl.teksavvy.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 28 Sep 2015 04:11:45 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Stefan Monnier Date: Sun, 27 Sep 2015 22:11:40 -0400 Message-ID: References: <20150925181948.GA29830@topoi.pooq.com> Mime-Version: 1.0 Content-Type: text/plain X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 69-196-162-108.dsl.teksavvy.com User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) Cancel-Lock: sha1:rD53kUrWDBw3xYvCzPji8e0ALEQ= X-Validation-by: monnier@iro.umontreal.ca Subject: Re: [Caml-list] Is tuareg crashing for anyone else? > 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. Stefan