[Agda] Overlapping patterns in function definition -- strange behavior

[Nils Anders Danielsson]

On 2011-06-16 22:23, Ulf Norell wrote:
> This looks like a bug in the case tree generation.

http://code.google.com/p/agda/issues/detail?id=422

-- 
/NAD