Date: Wed, 04 Jun 1997 16:41:57 +0200
From: Didier Plaindoux <plaindou@irit.fr>
To: caml-list@inria.fr
Subject: A propos de "this matching case is unused"
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
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:11 MET