Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 1999-09-10 (14:54)
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


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