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 SAA22837 for caml-redistribution; Thu, 9 Sep 1999 18:39:16 +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 SAA16880 for <caml-list@pauillac.inria.fr>; Thu, 9 Sep 1999 18:12:45 +0200 (MET DST)
Received: from mail1.microsoft.com (mail1.microsoft.com [131.107.3.125])
	by nez-perce.inria.fr (8.8.7/8.8.7) with SMTP id SAA03563
	for <caml-list@inria.fr>; Thu, 9 Sep 1999 18:12:43 +0200 (MET DST)
Received: from 157.54.9.101 by mail1.microsoft.com (InterScan E-Mail VirusWall NT); Thu, 09 Sep 1999 09:12:41 -0700 (Pacific Daylight Time)
Received: by INET-IMC-01 with Internet Mail Service (5.5.2524.0)
	id <S303HS18>; Thu, 9 Sep 1999 09:12:41 -0700
Message-ID: <39ADCF833E74D111A2D700805F1951EF1801418B@RED-MSG-06>
From: Don Syme <dsyme@microsoft.com>
To: caml-list@inria.fr
Subject: Report a missing match
Date: Thu, 9 Sep 1999 09:12:37 -0700 
X-Mailer: Internet Mail Service (5.5.2524.0)
Sender: weis



Hi,

It would be very helpful for me if the Caml compiler could report at least
one missing match case when it says a match is non-exhaustive.  Is this
feasible to implement fairly painlessly?  When working with very large
datatypes, e.g. 100 constructors, it's very hard to know which case has been
missed...

Thanks,
Don