> 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