Archives of the Caml mailing list > Message from Eric C. Cooper

Browse thread

[Caml-list] Troubles with marshaled/unmarshaled exception

Artem Prisyznuk
- Alex Baretta
  - Eric C. Cooper
    - Alex Baretta
      - Eric C. Cooper
  - Artem Prisyznuk
- Jason Hickey
  - Artem Prisyznuk

Date:	-- (:)
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