Report a missing match

From: Don Syme (dsyme@microsoft.com)
Date: Thu Sep 09 1999 - 18:12:37 MET DST

Next message: Pierre Boulet: "strange behavior of the object type-checker"
Previous message: Xavier Leroy: "Re: -output-obj and shared libraries?"
In reply to: Charles 'Buck' Krasic: "-output-obj and shared libraries?"
Next in thread: Jean-Yves Moyen: "Re: Report a missing match"
Maybe reply: Jean-Yves Moyen: "Re: Report a missing match"
Maybe reply: Luc Maranget: "Re: Report a missing match"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

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

Next message: Pierre Boulet: "strange behavior of the object type-checker"
Previous message: Xavier Leroy: "Re: -output-obj and shared libraries?"
In reply to: Charles 'Buck' Krasic: "-output-obj and shared libraries?"
Next in thread: Jean-Yves Moyen: "Re: Report a missing match"
Maybe reply: Jean-Yves Moyen: "Re: Report a missing match"
Maybe reply: Luc Maranget: "Re: Report a missing match"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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