Date: Mon, 30 May 94 15:15:35 +0200
From: Judicael.Courant@lip.ens-lyon.fr (Judicael Courant)
Message-Id: <9405301315.AA23894@lip.ens-lyon.fr>
To: Xavier.Leroy@inria.fr
Subject: Re: Irrelevant variables in patterns
Oui, mais on peut documenter comme ceci :
map (fun (_(*key*), data) -> data) the_a_list
ou alors on pourrait autoriser (mais dans ce cas, il faudrait modifier
la grammaire) :
map (fun (_key, data) -> data) the_a_list
Je serais cependant plus partisant de la premiere solution... Et puis,
il est toujours possible de n'avoir le warning qu'en option (pour les
programmeurs qui n'aiment pas documenter leurs programmes).
Judicael Courant.