Browse thread
[Caml-list] Troubles with marshaled/unmarshaled exception
[
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: | 2003-12-04 (19:50) |
From: | Eric C. Cooper <ecc@c...> |
Subject: | Re: [Caml-list] Troubles with marshaled/unmarshaled exception |
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