Browse thread
[Caml-list] marshalling polymorphic variants
[
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: | 2004-06-29 (08:45) |
From: | Richard Jones <rich@a...> |
Subject: | Re: [Caml-list] marshalling polymorphic variants |
On Mon, Jun 28, 2004 at 11:02:25PM +0200, henri dubois-ferriere wrote: > hi, > in the simple case below, it is possible to marshal out a ([`A | `B] > list), and then read it back as a [> `A | `B | `C] list. > > can this behavior be counted on , or is it not something an > application can assume to always work? Better to use Obj.magic if you're explicitly trying to subvert the type system? Rich. -- Richard Jones. http://www.annexia.org/ http://www.j-london.com/ Merjis Ltd. http://www.merjis.com/ - improving website return on investment 'There is a joke about American engineers and French engineers. The American team brings a prototype to the French team. The French team's response is: "Well, it works fine in practice; but how will it hold up in theory?"' ------------------- 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