Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Troubles with marshaled/unmarshaled exception
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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

Eric C. Cooper          e c c @ c m u . e d u

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: