2011/12/6 Nils Anders Danielsson <nad at chalmers.se>: > Feel free to report this issue on the bug tracker (preferably together > with a patch). http://code.google.com/p/agda/issues/detail?id=539