|Anonymous | Login | Signup for a new account||2016-02-14 04:55 CET|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0003462||OCaml||OCaml windows||public||2005-02-10 15:07||2015-12-11 19:08|
|Status||closed||Resolution||unable to reproduce|
|Target Version||4.00.1+dev||Fixed in Version|
|Summary||0003462: Crash with ocaml top-level when using Cygwin|
|Description||Full_Name: Janne Hellsten|
OS: Windows XP
Submission from: 22.214.171.124 (126.96.36.199)
I bootstrapped Ocaml with
./configure --prefix /home/janne/ocaml
When I run the Ocaml top-level from Cywgwin bash, I get a segfault with really
Objective Caml version 3.08.2
Segmentation fault (core dumped)
It appears that when it hits a syntax error, the whole top-level segfaults.
When I run the top-level from Emacs, everything works as expected (e.g., the
syntax error message is output properly).
The same thing happens with 3.08.1 as well.
When I run it through GDB, I get this
48 [main] ocaml 580 handle_exceptions: Exception: STATUS_ACCESS_VIOLATION
640 [main] ocaml 580 open_stackdumpfile: Dumping stack trace to
I have no idea what's causing it.
Just in case it's GCC related, here's the output of gcc --v:
Reading specs from /usr/lib/gcc-lib/i686-pc-cygwin/3.3.3/specs
Configured with: /gcc/gcc-3.3.3-3/configure --verbose --prefix=/usr
--exec-prefix=/usr --sysconfdir=/etc --libdir=/usr/lib --libexecdir=/usr/lib
--without-included-gettext --enable-libgcj --with-system-zlib
--enable-interpreter --enable-threads=posix --enable-java-gc=boehm
Thread model: posix
gcc version 3.3.3 (cygwin special)
|Tags||No tags attached.|
> When I run the Ocaml top-level from Cywgwin bash, I get a segfault
> with really simple inputs:
> $ ocaml
> Objective Caml version 3.08.2
> # ;;
> Segmentation fault (core dumped)
> It appears that when it hits a syntax error, the whole top-level segfaults.
Yes, it crashes when trying to highlight the location of the error.
Several users reported this problem but we've never been able to
reproduce it. It seems to come from a bug in some versions of the
"curses" library provided by Cygwin. Upgrading Cygwin (and rebuilding
OCaml just to make sure) fixed the problem for at least one user.
A quick workaround is to disable error highlighting by invoking ocaml
- Xavier Leroy
This does not really bother me, I just wanted to report it in case it
had not been reported earlier. A note about Cygwin: it happened on two
different Cygwin installations, both relatively recent (the other one
installede from scratch yesterday, other ~week old).
Xavier Leroy wrote:
>>When I run the Ocaml top-level from Cywgwin bash, I get a segfault
>>with really simple inputs:
>> Objective Caml version 3.08.2
>>Segmentation fault (core dumped)
>>It appears that when it hits a syntax error, the whole top-level segfaults.
>Yes, it crashes when trying to highlight the location of the error.
>Several users reported this problem but we've never been able to
>reproduce it. It seems to come from a bug in some versions of the
>"curses" library provided by Cygwin. Upgrading Cygwin (and rebuilding
>OCaml just to make sure) fixed the problem for at least one user.
>A quick workaround is to disable error highlighting by invoking ocaml
> TERM=dumb ocaml
>- Xavier Leroy
|Recurrent Cygwin issue, probably with termcap/terminfo. Cannot reproduce.|
This problem has disappeared with more recent versions of Cygwin and OCaml (tested with 3.12.1 and 4.00.0 on a 2012-era Cygwin).
|2005-11-18 10:14||administrator||New Issue|
|2012-07-11 17:29||doligez||Target Version||=> 4.01.0+dev|
|2012-07-11 17:29||doligez||Description Updated||View Revisions|
|2012-07-29 18:02||frisch||Category||OCaml general => OCaml windows|
|2012-07-31 13:37||doligez||Target Version||4.01.0+dev => 4.00.1+dev|
|2012-09-11 09:43||doligez||Note Added: 0008056|
|2012-09-11 09:43||doligez||Status||acknowledged => resolved|
|2015-12-11 19:08||xleroy||Status||resolved => closed|
|Copyright © 2000 - 2011 MantisBT Group|