From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <hendrik@topoi.pooq.com>
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 E73D57ED1C
	for <caml-list@sympa.inria.fr>; Fri, 25 Sep 2015 20:22:11 +0200 (CEST)
IronPort-PHdr: 9a23:k6jKNRJbUPxPKlJ9ktmcpTZWNBhigK39O0sv0rFitYgUKfXxwZ3uMQTl6Ol3ixeRBMOAu64C1rKd6f2ocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC04Lqj6voptX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqz/e+E8TKdEJDUgKWE8osPx5jfZSg7axnYaXn8XkVJiBA/ApEX6U5H9qCr5nvZ6wC6be9XxSqlyUjOnufQ4ACT0gTsKYmZquFrcjdZ92fpW
Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  hendrik@topoi.pooq.com) identity=pra;
  client-ip=69.165.131.134;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="hendrik@topoi.pooq.com";
  x-sender="hendrik@topoi.pooq.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  hendrik@topoi.pooq.com) identity=mailfrom;
  client-ip=69.165.131.134;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="hendrik@topoi.pooq.com";
  x-sender="hendrik@topoi.pooq.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.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=mail2-smtp-roc.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: A0AoBgDTjwVW/4aDpUVdg3hEASS9RYFzh2gTAQEBAQEBAQGBCYIdgjUTezQFGIhyqCqkPpEbgwGBFAWVbIUUh3QFUX6HV5IIIwI+gUoMgkciM4khAQEB
X-IPAS-Result: A0AoBgDTjwVW/4aDpUVdg3hEASS9RYFzh2gTAQEBAQEBAQGBCYIdgjUTezQFGIhyqCqkPpEbgwGBFAWVbIUUh3QFUX6HV5IIIwI+gUoMgkciM4khAQEB
X-IronPort-AV: E=Sophos;i="5.17,588,1437429600"; 
   d="scan'208";a="179481348"
Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Sep 2015 20:22:10 +0200
Received: by april.topoi.pooq.com (Postfix, from userid 1001)
	id BE00D1A0336; Fri, 25 Sep 2015 14:19:48 -0400 (EDT)
Date: Fri, 25 Sep 2015 14:19:48 -0400
From: Hendrik Boom <hendrik@topoi.pooq.com>
To: caml-list@inria.fr
Message-ID: <20150925181948.GA29830@topoi.pooq.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: [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.  
It seems to happen when I'm editing a typed function argument, such as 
the arguents in:

  let rec read (prio : int) (look : char option) (input : charstream) 
(psf : phrase list) (return : phrase -> char option -> charstream -> 
phrase) =

I'm not sure what it is I'm doing when it crashes.

I'm currently getting by by editing ocaml programs as foo.xx and copying 
them to foo.ml in a Makefile, though uninstalling tuareg might be easier.

Is this a known problem?  Is it just me?

I'm running devuan jessie, with packages opam 1.2.0-1, tuareg1:2.0.7-1, 
and emacs24 23+4.1-5.

-- hendrik