Re: Irrelevant variables in patterns

Judicael Courant (Judicael.Courant@lip.ens-lyon.fr)
Mon, 30 May 94 15:15:35 +0200

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.