partial instantiation of a new obj. : bug or feature ?

From: Didier Plaindoux (plaindou@irit.fr)
Date: Wed Jun 04 1997 - 16:41:57 MET DST


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