From: Stefano Z. <za...@bo...> - 2003-12-20 12:26:06
|
The following code that uses extlib segfaults both with ocaml 3.06 and ocaml 3.07: List.iter prerr_endline (Std.input_list (open_in "/etc/passwd")) More precisely the segfaults is at line 29 of std.ml: Obj.magic (Obj.repr dst) 1 (Obj.repr r); I haven't exactly understood what you're trying to do there, so I'm not proposing any solution, but the problem still exists :-) TIA, Cheers. -- ^Stefano Zacchiroli -- Master in Computer Science @ Uni. Bologna, Italy$ ^zack@{cs.unibo.it,debian.org,bononia.it} -- http://www.bononia.it/zack$ ^Frequentando il mio maestro mi ero reso conto [.] che la logica poteva$ ^servire a molto a condizione di entrarci dentro e poi di uscirne -Adso$ |
From: Nicolas C. <war...@fr...> - 2003-12-20 13:00:30
|
> The following code that uses extlib segfaults both with ocaml 3.06 and > ocaml 3.07: > > List.iter prerr_endline (Std.input_list (open_in "/etc/passwd")) > > More precisely the segfaults is at line 29 of std.ml: > > Obj.magic (Obj.repr dst) 1 (Obj.repr r); > > I haven't exactly understood what you're trying to do there, so I'm not > proposing any solution, but the problem still exists :-) Uhm. That's actually a very bad typo error from me : Obj.magic should be replaced by : Obj.set_field ( that should make a lot more sense now :) I updated the CVS, thanks for reporting it. Regards Nicolas Cannasse |
From: Stefano Z. <za...@bo...> - 2003-12-20 13:51:31
|
On Sat, Dec 20, 2003 at 10:00:24PM +0900, Nicolas Cannasse wrote: > Uhm. > That's actually a very bad typo error from me : > Obj.magic > should be replaced by : > Obj.set_field > ( that should make a lot more sense now :) Yes, really, now I understand what you were trying to do :-) > I updated the CVS, thanks for reporting it. I'm uploading a fixed debian package too. Thanks for the fix. Cheers. -- ^Stefano Zacchiroli -- Master in Computer Science @ Uni. Bologna, Italy$ ^zack@{cs.unibo.it,debian.org,bononia.it} -- http://www.bononia.it/zack$ ^Frequentando il mio maestro mi ero reso conto [.] che la logica poteva$ ^servire a molto a condizione di entrarci dentro e poi di uscirne -Adso$ |