From: Christian Gillot <cgillot@gruposbd.com>
To: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Re: about toplevels
Date: Thu, 24 Jan 2002 18:34:04 +0100 (CET) [thread overview]
Message-ID: <1011893644.3c50458cada15@webmail.sbdconsultors.com> (raw)
In-Reply-To: <20020124170356.D28026@verdot.inria.fr>
Hi,
Mensaje citado por: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>:
> > 3. the exceptions are NOT polymorphics
> > exception of 'a list is WRONG.
>
> If they were, they could break the type system:
>
> exception Foo of 'a list;;
> try raise Foo [3] with Foo l -> "abc" :: l;;
I agree with you, it's logic. But as a newbie you
easily stumble on this, because you just begin
to like the type polymorphism and suddenly you don't
understand why there is an exception (perdon me the pun)
to this rule with the exceptions. Of course there's always
good people like you or M. Monniaux (Thanks to him) to explain
this. That's what is called a gotcha, I guess.
Regards,
--
Christian Gillot <cgillot@gruposbd.com>
GNU/Linux developer
-------------------
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 prev parent reply other threads:[~2002-01-25 8:50 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-01-21 23:27 cgillot
2002-01-21 22:43 ` [Caml-list] Re: your mail Markus Mottl
2002-01-22 0:03 ` [Caml-list] Re: about toplevels cgillot
2002-01-22 20:41 ` Chris Hecker
2002-01-22 21:35 ` [Caml-list] Ocaml and games Matthew D Moss
2002-01-22 21:43 ` Will Benton
2002-01-22 23:53 ` Eric C. Cooper
2002-01-23 0:58 ` Ian Zimmerman
2002-01-23 1:23 ` Yaron M. Minsky
2002-01-23 3:29 ` Doug Bagley
2002-01-23 5:20 ` Chris Hecker
2002-01-24 3:02 ` Matthew D Moss
2002-01-24 6:59 ` Chris Hecker
2002-01-25 20:22 ` Daniel Phillips
2002-01-25 20:53 ` Ken Rose
2002-01-25 22:16 ` Chris Hecker
2002-01-25 23:00 ` Thatcher Ulrich
2002-01-23 8:39 ` Sven
2002-01-23 15:35 ` Xavier Leroy
2002-01-22 9:00 ` [Caml-list] Re: your mail Daniel de Rauglaudre
2002-01-22 13:12 ` Markus Mottl
[not found] ` <4.3.2.7.2.20020123011902.00cde840@arda.pair.com>
2002-01-23 9:35 ` [Caml-list] Re: about toplevels Christian Gillot
2002-01-23 10:20 ` Chris Hecker
2002-01-24 16:03 ` Daniel de Rauglaudre
2002-01-24 17:20 ` Christophe Raffalli
2002-01-24 17:34 ` Christian Gillot [this message]
2002-01-24 20:42 ` [Caml-list] gotchas [Was: toplevels] Ian Zimmerman
2002-01-25 10:59 ` Christian Gillot
2002-01-25 11:17 ` Sven
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=1011893644.3c50458cada15@webmail.sbdconsultors.com \
--to=cgillot@gruposbd.com \
--cc=caml-list@inria.fr \
--cc=daniel.de_rauglaudre@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).