From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA25331 for caml-redistribution; Wed, 4 Jun 1997 19:42:51 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA22166 for ; Wed, 4 Jun 1997 16:42:25 +0200 (MET DST) Received: from sloop.irit.fr (sloop.irit.fr [141.115.64.157]) by nez-perce.inria.fr (8.8.5/8.7.3) with ESMTP id QAA07442 for ; Wed, 4 Jun 1997 16:42:23 +0200 (MET DST) Received: from sloop (localhost [127.0.0.1]) by sloop.irit.fr (8.7.5/8.7.3) with SMTP id QAA11769 for ; Wed, 4 Jun 1997 16:42:00 +0200 (MET DST) Message-ID: <33957EB5.1BA8@irit.fr> Date: Wed, 04 Jun 1997 16:41:57 +0200 From: Didier Plaindoux X-Mailer: Mozilla 3.01Gold (X11; I; SunOS 5.5 sun4m) MIME-Version: 1.0 To: caml-list@inria.fr Subject: A propos de "this matching case is unused" Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis 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 = 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