[Agda] pattern matching bug?

[Nils Anders Danielsson]

On 2010-03-19 15:53, Chris Casinghino wrote:
> But, is this a bug?  I don't understand the error.

The error message is certainly bad; feel free to report it on the bug
tracker. I suspect that the problem with your code is that it cannot be
generated using a sequence of case-splits. Perhaps this information
should be incorporated in the error message.

--
/NAD