N'ayant pas entrevu de message a ce propos je me permet
de poser la question suivante : 

Soit le code suivant (stupide soit mais pas pour le typage)

# fun x -> x
#   | x -> 1 + x
#;;

La reponse est la suivante :

Toplevel input:
>  | x -> 1 + x
>    ^
Warning: this matching case is unused.
- : int -> int = <fun>

Ma question est la suivante : pourquoi prendre en compte
cette branche lors du typage, qui de ce fait instancie le
type de 'x' par 'int' ? 

D. Plaindoux

-- 
o----------o---------------------------------------o
|S.L.O.O.P.|           Didier PLAINDOUX            |
+----------+        mailto:plaindou@irit.fr        |
|  |\_/|   |  http://www.irit.fr/~Didier.Plaindoux |
|  (o O)   |  Tel : 05 61 55 [ 63 56 | 82 09 ]     |    
|   ( )    |  @   : IRIT,UPS 118 route de Narbonne |
|    O     |        31062 Toulouse France          |
o--------------------------------------------------o