[Agda] Typechecking failure for Agda Standard Library

[Nils Anders Danielsson]

On 2011-05-31 14:57, Dirk Ullrich wrote:
> when I try to generate the Agda interface files for the current darcs
> version of Standard Library with the current darcs version of Agda I
> get the following error:

Andreas pushed a patch which affects the library, and the library has
not been updated yet.

-- 
/NAD