Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 1997-11-18 (14:43)
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