On 2012-01-07 16:11, karim kanso wrote: > Anyone know if this is this the intended behaviour, or confirm as a > bug? Bug: http://code.google.com/p/agda/issues/detail?id=546. -- /NAD