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 CAA03965; Fri, 15 Feb 2002 02:48:37 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 CAA04072 for ; Fri, 15 Feb 2002 02:48:37 +0100 (MET) Received: from hotmail.com (f235.law8.hotmail.com [216.33.241.235]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g1F1maH03463 for ; Fri, 15 Feb 2002 02:48:36 +0100 (MET) Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Thu, 14 Feb 2002 17:48:35 -0800 Received: from 68.82.53.91 by lw8fd.law8.hotmail.msn.com with HTTP; Fri, 15 Feb 2002 01:48:34 GMT X-Originating-IP: [68.82.53.91] From: "Ryan Tarpine" To: caml-list@inria.fr Subject: [Caml-list] Another q about many types Date: Thu, 14 Feb 2002 20:48:34 -0500 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 15 Feb 2002 01:48:35.0231 (UTC) FILETIME=[E15C9AF0:01C1B5C2] Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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