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

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Tue Apr 20 14:08:48 CEST 2010


On 2010-04-19 20:28, Dirk Ullrich wrote:
> 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.)

Try to limit the amount of memory which GHC's runtime system consumes:

  agda ... +RTS -M2.5G

--
/NAD


More information about the Agda mailing list