It is an undecidable problem in general whether patterns cover all the objects of a type.
If you don't want to use pattern matching, that is another matter. Yong ----- Original Message ----- From: "Conor McBride" <[EMAIL PROTECTED]> To: <epigram@durham.ac.uk> Sent: Tuesday, June 13, 2006 10:44 PM Subject: Re: [Epigram] Partially defined functions and Pattern matching > Yong Luo wrote: > > >Hi all, > > > >2. Full covering is an undecidable problem. > > > > No it isn't. > > Conor >