From: Christopher Quinn <cq@htec.demon.co.uk>
To: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
Cc: berke@altern.org, caml-list@inria.fr
Subject: Re: [Caml-list] Marshalling objects (was: French interactive fiction, anyone ?)
Date: Thu, 20 Jun 2002 08:16:07 +0100 [thread overview]
Message-ID: <3D118137.5020007@htec.demon.co.uk> (raw)
In-Reply-To: <20020620140857P.garrigue@kurims.kyoto-u.ac.jp>
Jacques Garrigue wrote:
> Actually I cannot remember any such reason.
> I actually tried, just commenting out the Object_tag case in
> byterun/extern.c, and it works!
> There's a single glitch: as it just handles objects as normal data,
> oid's are not updated. This means that equality on objects (which is
> oid based) will be incorrect.
> Can somebody comment about other possible problems?
> I join some test code at the end of this mail, to run after commenting
> out Object_tag.
>
> On the other hand, objects are not just closures, and it would be nice
> to be able to serialize their data in a code-independent way. Not so
> unreasonable: class names are unique. This would require a bit of
> runtime support, to be able to retrieve method tables.
>
Is not Field(obj,0) still a *pointer* to a double hash table, and so
unique to a particular compilation?
I have a crummy type reflection module which exports this pointer so
that by comparison of types at runtime an imported object created under
another program can be amended with the current version of this pointer.
I have a vague memory that reflection is a theoretical no-go for ML. Is
this true?
- chris
-------------------
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
next prev parent reply other threads:[~2002-06-20 7:15 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-06-17 21:38 Berke Durak
2002-06-18 6:57 ` Alan Schmitt
2002-06-19 15:56 ` Berke Durak
2002-06-20 5:08 ` Jacques Garrigue
2002-06-20 7:16 ` Christopher Quinn [this message]
2002-06-20 7:41 ` Xavier Leroy
2002-06-20 14:39 ` Jacques Garrigue
2002-06-21 9:09 ` Jacques Garrigue
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=3D118137.5020007@htec.demon.co.uk \
--to=cq@htec.demon.co.uk \
--cc=berke@altern.org \
--cc=caml-list@inria.fr \
--cc=garrigue@kurims.kyoto-u.ac.jp \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).