Exceptions polymorphes

Exceptions polymorphes

[Pascal Zimmer]

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

Re: Exceptions polymorphes

[David Monniaux]

[ Why exceptions can't be polymorphic... ]

On Tue, 18 Nov 1997, Pascal Zimmer wrote:

> Comme les exceptions exn sont un type comme un autre, je ne vois pas de
> raison theorique empechant ce genre de declaration.

Quelle serait dans ce cas la semantique de:

exception Found of 'a;;

try
  raise (Found 1)
with
  Found x -> print_string;;

Pour que cela reste type-safe, il faudrait que l'on teste si les parties
polymorphes de l'exception renvoyee sont bien compatibles avec les
contraintes de types des variables du pattern-matching.

Cela revient a implementer un peu de la surcharge dynamique.

(Sauf erreur de ma part a faire reparer par les experts.)

Re: Exceptions polymorphes

[Christophe Raffalli]

If you do what you suggest, the following program crashes (and is well
typed *)

exception Found of 'a;;

let rec assoc_exn n = function
  [] -> raise Not_found
| ((x,y)::l) -> 
  if x = n then raise Found y else assoc_exn n l

try
  assoc_exn 1 [1,2]
with 
  Found x -> print_string x (* x will be an integer, not a string *)