]> On Thu, Dec 04, 2003 at 08:05:17PM +0100, Alex Baretta wrote: > There's nothing wrong here. Module Marshal is not type safe. You're right, of course. I'm used to using Marshal in compiled code where the type is constrained correctly. Perhaps the interpreter should complain if it ever binds a toplevel value of type 'a. Wouldn't it always be an error (or one waiting to happen)? -- Eric C. Cooper e c c @ c m u . e d u ------------------- 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