Re: Report a missing match

From: Luc Maranget (Luc.Maranget@inria.fr)
Date: Fri Sep 10 1999 - 09:53:58 MET DST


From: Luc Maranget <Luc.Maranget@inria.fr>
Message-Id: <199909100753.JAA09416@margaux.inria.fr>
Subject: Re: Report a missing match
In-Reply-To: <39ADCF833E74D111A2D700805F1951EF1801418B@RED-MSG-06> from Don Syme at "Sep 9, 99 09:12:37 am"
To: dsyme@microsoft.com (Don Syme)
Date: Fri, 10 Sep 1999 09:53:58 +0200 (MET DST)

>
>
> 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
>

Hi,

Conceptually, this is not that difficult to do, since the compiler look for
non-exhautive matches by enumerating possible non-matching values.

In practice, I have to see a little and have no time for that now...

I put this on a personnal TODO list.

--Luc Maranget



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:25 MET