From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Mon, 30 May 94 18:52:30 +0200 Received: from margaux.inria.fr by pauillac.inria.fr; Mon, 30 May 94 15:15:43 +0200 Received: from concorde.inria.fr by margaux.inria.fr, Mon, 30 May 1994 15:15:42 +0200 Received: from cri.ens-lyon.fr (cri.ens-lyon.fr [140.77.1.32]) by concorde.inria.fr (8.6.9/8.6.9) with SMTP id PAA11843 for ; Mon, 30 May 1994 15:15:38 +0200 Received: from lip.ens-lyon.fr (lip-gw) by cri.ens-lyon.fr (5.0/SMI-SVR4) id AA21790; Mon, 30 May 1994 15:15:35 --100 Received: from champagne.ens-lyon.fr by lip.ens-lyon.fr (4.1/SMI-4.1) id AA23894; 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 Cc: caml-list@margaux.inria.fr Sender: weis@pauillac.inria.fr 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.