[Agda] Agda's standard lib does not typecheck any more

Dirk Ullrich dirk.ullrich at googlemail.com
Mon Apr 19 21:28:19 CEST 2010


Hi,

when trying last Darcs version of both Agda and Standard Library the module
Data.ContainerData.AlternativeBagAndSetEquality from the Standard
Library seems not to typecheck. Trying to typecheck only consumes all
memory it can get. (I have tried it on a 64bit Linux system with 4G
RAM: After eating alle the RAM plus 4G Swap I have interruped my try.)

Dirk


More information about the Agda mailing list