On 2011-03-24 20:41, Sivaram Gowkanapalli wrote: > I have narrowed down the coredumps to be caused by the usage of show. Thanks for your report, I have added an item to the bug tracker: http://code.google.com/p/agda/issues/detail?id=398 -- /NAD