From: Pascal Zimmer <Pascal.Zimmer@ens-lyon.fr>
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
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
-------------------------------------------------------------------
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:12 MET