-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Olivier Ricordeau wrote:
>>Hi!
>>I'd like to know how I can make a match on an object's dynamic type. Let
>>a be an abstract class. Let b and c be two class which inherit from a.
>>I'd like to write a method which looks like this:
>>
>>method foo (bar : a) =
>>    match "a's dynamic type" with
>
> I meant:
>       match "bar's dynamic type" with
>
>
>>       b -> do_something()
>>     | c -> do_something_else()

According to two mails I've just received from members of this list:
- -> This cannot be done with OCaml
- -> The trick is to add an string attribute (non-mutable) which contains
the dynamic type to the mother class.

Thanks to Basile Starynkevitch and Richard Jones for their help.

- --
- -= *Olivier RICORDEAU* =-        http://freefolks.org
          < LibNN addict http://libnn.org >
lynx -source http://freefolks.org/key.asc | gpg --import
olivier.ricordeau@wanadoo.fr _Might the source be with you_
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.2 (GNU/Linux)

iD8DBQE/HXgZDFRYKP6DJEwRAnFNAJ0UkMPQ2k7OgTIF6D9GYn3FGpAh2wCfW8wl
OI6wM1qf2StTgaJO+uFhnMQ=
=jLY1
-----END PGP SIGNATURE-----

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