[Caml-list] Strange bug with dynamic loading (was: Text Mode Kit)

[Nicolas George <nicolas.george@ens.fr>]

[-- Attachment #1: Type: text/plain, Size: 1045 bytes --]

Le nonidi 29 ventôse, an CCX, Nicolas George a écrit :
> http://savannah.gnu.org/projects/ocaml-tmk/

This project has a binding for the curses library, and uses the dynamic
loading. But a strange bug appears. With the following program:

open Curses

let main () =
  let w = initscr () in
  assert (cbreak ());
  assert (noecho ());
  assert (move 3 4);
  hline 0 42;
  ignore (getch ());
  assert (move 4 5);
  hline 0 42;
  ignore (getch ());
  endwin ()

let () = main ()

everything works good. But if the first line with getch becomes

  let () = ignore (getch ()) in

the second horizontal lines becomes a line of `q'. Further experiments
show that in some cases, the ncurses library is totally confused after
the first refresh. The problem does not appears when the binding is
statically linked (-custom, -use-runtime or ocamlopt) (but still
dynamically linked to ncurses). All this happens on Linux/i386. On
Solaris/sparc, anything segfaults at startup.

Does anyone here understand what is happening?

[-- Attachment #2: Type: application/pgp-signature, Size: 237 bytes --]