[MLton] cvs commit: improved type constructor names in type errors

Stephen Weeks MLton@mlton.org
Wed, 31 Dec 2003 01:23:39 -0800


> Is there an (easy) way to get _all_ missing patterns? 

Nobody's every happy.  :-)

> The case I'm
> thinking of is:
> 
> fun first l =
>   case l of
>     (SOME x)::_ => x

With my latest checkin, you will now get

  missing patterns: (:: (NONE, _)) | nil