From: "Ryan Tarpine" <rtarpine@hotmail.com>
To: caml-list@inria.fr
Subject: [Caml-list] Another q about many types
Date: Thu, 14 Feb 2002 20:48:34 -0500 [thread overview]
Message-ID: <F235P3wgs3SeYfQuC250000b301@hotmail.com> (raw)
Many thanks for the advice on polymorphic variants; they seemed to be just
what I needed. But I've run into one small problem: I can't define
exceptions with arguments of polymorphic types.
In the language I'm trying to implement, to raise an exception, the user
needs to create an instance of an exception class. So, in my
implementation, I wanted to define an exception whose sole argument would be
an instance of a class. But, I designed instances to be records containing
a polymorphic variant, which makes the record type itself polymorphic. Is
there some way to raise exceptions with polymorphic arguments, or some other
possible way of implementing this?
Thanks in advance,
Ryan Tarpine, rtarpine@hotmail.com
"To err is human, to compute divine. Trust your computer but not its
programmer."
- Morris Kingston
_________________________________________________________________
Get your FREE download of MSN Explorer at http://explorer.msn.com/intl.asp.
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
next reply other threads:[~2002-02-15 1:48 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-02-15 1:48 Ryan Tarpine [this message]
2002-04-15 8:06 ` Christian Gillot
2002-03-05 16:28 ` [Caml-list] Weak hash table Christophe Raffalli
2002-03-05 21:40 ` Charles Martin
2002-03-05 22:24 ` Dave Mason
2002-03-06 10:09 ` Christophe Raffalli
2002-03-06 10:39 ` Christophe Raffalli
2002-03-06 8:33 ` Jean-Christophe Filliatre
2002-02-15 11:04 [Caml-list] Another q about many types Martin Jambon
2002-02-16 3:16 Ryan Tarpine
2002-02-18 14:04 ` Martin Jambon
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=F235P3wgs3SeYfQuC250000b301@hotmail.com \
--to=rtarpine@hotmail.com \
--cc=caml-list@inria.fr \
/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).