Browse thread
Re: [Caml-list] Toplevel crashes when trying to call external functions
-
John Prevost
- Andy Yang
-
Gerd Stolpmann
-
Richard Jones
- Jean-Christophe Filliatre
-
Richard Jones
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...> |
| Subject: | Re: [Caml-list] Toplevel crashes when trying to call external functions |
Richard Jones writes: > I have to agree with Gerd on this. I've tried to use pointers- > as-values but have had a lot of unexplained strangeness / crashes. I > now wrap pointers in custom blocks every time. You can find working > examples of this in both mod_caml and perl4caml sources. Another example of this technique can be found in David Monniaux's mlgmp (http://www.di.ens.fr/~monniaux/download/mlgmp.tar.gz) -- Jean-Christophe ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners