[Caml-list] Is tuareg crashing for anyone else?

[Caml-list] Is tuareg crashing for anyone else?

[Hendrik Boom]

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

Re: [Caml-list] Is tuareg crashing for anyone else?

[Ralf Treinen]

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.

Re: [Caml-list] Is tuareg crashing for anyone else?

[Hendrik Boom]

On Fri, Sep 25, 2015 at 10:30:27PM +0200, Ralf Treinen wrote:
> 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)
But the parentheses around typed parameters could certainly be part of 
the problem.  At least once weren't balanced when it crashed while I was 
editing!

But 1.2.0.9 hasn't made it to jessie yet.

I've installed 2.0.8 from opam to replace 1:2.0.7-1 from jessie.  
Haven't used it long enough to tell.  But if it takes 2.0.9, it won't be 
enough.  Unless opam and jessie are out of sync.  There doesn't 
seem to be a 2.0.9 in opam yet.  2.0.8 was the version 
that opam installed with
       opam install tuareg.

I'll report back when I've had experience with opam's 2.0.8 version.

-- hendrik

Re: [Caml-list] Is tuareg crashing for anyone else?

[Hendrik Boom]

On Fri, Sep 25, 2015 at 06:46:57PM -0400, Hendrik Boom wrote:
> On Fri, Sep 25, 2015 at 10:30:27PM +0200, Ralf Treinen wrote:
> > 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)
> But the parentheses around typed parameters could certainly be part of 
> the problem.  At least once weren't balanced when it crashed while I was 
> editing!
> 
> But 1.2.0.9 hasn't made it to jessie yet.
> 
> I've installed 2.0.8 from opam to replace 1:2.0.7-1 from jessie.  
> Haven't used it long enough to tell.  But if it takes 2.0.9, it won't be 
> enough.  Unless opam and jessie are out of sync.  There doesn't 
> seem to be a 2.0.9 in opam yet.  2.0.8 was the version 
> that opam installed with
>        opam install tuareg.
> 
> I'll report back when I've had experience with opam's 2.0.8 version.

The problem seems to have disappeared with 2.0.8.  Or I've been luckky 
in not triggering it. 

-- hendrik

Re: [Caml-list] Is tuareg crashing for anyone else?

[Stefan Monnier]

> 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

Re: [Caml-list] Is tuareg crashing for anyone else?

[Hendrik Boom]

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