From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA19008 for caml-redistribution; Tue, 18 Nov 1997 15:43:31 +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 OAA17366 for ; Tue, 18 Nov 1997 14:58:04 +0100 (MET) Received: from cri.ens-lyon.fr (cri.ens-lyon.fr [140.77.1.32]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id OAA03362 for ; Tue, 18 Nov 1997 14:58:00 +0100 (MET) Received: from dragon.ens-lyon.fr (dragon [140.77.191.202]) by cri.ens-lyon.fr (8.8.5/8.8.1) with ESMTP id OAA12146; Tue, 18 Nov 1997 14:57:57 +0100 (MET) From: Pascal Zimmer Received: (from pzimmer@localhost) by dragon.ens-lyon.fr (8.8.5/8.8.0) id OAA02954; Tue, 18 Nov 1997 14:57:13 +0100 (MET) Date: Tue, 18 Nov 1997 14:57:13 +0100 (MET) Message-Id: <199711181357.OAA02954@dragon.ens-lyon.fr> To: caml-list@inria.fr Subject: Exceptions polymorphes Cc: Pascal.Zimmer@ens-lyon.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Content-MD5: wMGNZ3nPrFBF2b1k45ebVw== Sender: weis Pourquoi n'est-il pas possible de definir des exceptions renvoyant un type quelconque: #exception Found of 'a;; Toplevel input: >exception Found of 'a;; > ^^ The type variable a is unbound. Comme les exceptions exn sont un type comme un autre, je ne vois pas de raison theorique empechant ce genre de declaration. ------------------------------------------------------------------- Pascal Zimmer - Ecole Normale Superieure de Lyon - France -------------------------------------------------------------------