Exceptions polymorphes

Pascal Zimmer (Pascal.Zimmer@ens-lyon.fr)
Tue, 18 Nov 1997 14:57:13 +0100 (MET)

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
-------------------------------------------------------------------