On Sat, Oct 31, 2009 at 10:14 AM, Ulf Norell <ulfn at chalmers.se> wrote: > That is clearly a bug. Can you add your example to this issue: > > http://code.google.com/p/agda/issues/detail?id=203 Done, thanks. - Benja