Version française
Home     About     Download     Resources     Contact us    
Browse thread
Report a missing match
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Luc Maranget <Luc.Maranget@i...>
Subject: Re: Report a missing match
> 
> 
> 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