Version française
Home     About     Download     Resources     Contact us    
Browse thread
Exceptions polymorphes
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Pascal Zimmer <Pascal.Zimmer@e...>
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
-------------------------------------------------------------------