From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA31531; Fri, 25 Jan 2002 09:50:35 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA31731 for caml-list@pauillac.inria.fr; Fri, 25 Jan 2002 09:50:34 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA21881 for ; Thu, 24 Jan 2002 17:31:18 +0100 (MET) Received: from mail.gruposbd.com ([195.76.154.102]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g0OGUu920804; Thu, 24 Jan 2002 17:31:06 +0100 (MET) Received: by mail.gruposbd.com (Postfix, from userid 30) id B2EB64ED3; Thu, 24 Jan 2002 18:34:04 +0100 (CET) To: Daniel de Rauglaudre Subject: Re: [Caml-list] Re: about toplevels Message-ID: <1011893644.3c50458cada15@webmail.sbdconsultors.com> Date: Thu, 24 Jan 2002 18:34:04 +0100 (CET) From: Christian Gillot Cc: caml-list@inria.fr References: <4.3.2.7.2.20020122124034.026d1750@arda.pair.com> <20020121224336.GA17642@fichte.ai.univie.ac.at> <1011655678.3c4ca3fe74235@webmail.sbdconsultors.com> <20020121224336.GA17642@fichte.ai.univie.ac.at> <4.3.2.7.2.20020122124034.026d1750@arda.pair.com> <4.3.2.7.2.20020123011902.00cde840@arda.pair.com> <1011778534.638.11.camel@node89> <20020124170356.D28026@verdot.inria.fr> In-Reply-To: <20020124170356.D28026@verdot.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: IMP/PHP IMAP webmail program 2.2.3 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, Mensaje citado por: Daniel de Rauglaudre : > > 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 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