English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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
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