Version française
Home     About     Download     Resources     Contact us    
Browse thread
A propos de "this matching case is unused"
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Didier Plaindoux <plaindou@i...>
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