[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