Post a bug report! :) On Apr 2, 2015, at 8:19 AM, Jan Stolarek <jan.stola...@p.lodz.pl> wrote:
> An update frrom my second machine, this time with 4GB of RAM. Compiling Agda > ran out of memory > (again Agda.TypeChecking.Serialise module) and I had to kill the build. But > once I restarted the > build the module was compiled succesfully in a matter of minutes and using > around 50% of memory. > This looks like some kind of memory leak in GHC. > > Janek > > Dnia środa, 1 kwietnia 2015, Jan Stolarek napisał: >> Forall hi, >> >> I just uprgaded both of my machines to use GHC 7.10.1. I keep sandboxed >> installations of GHC and this means I had to rebuild Agda and Idris because >> the binaries built with GHC 7.8.4 were stored inside deactivated 7.8.4 >> sandbox. Sadly, I had problems building both Agda and Idris due to GHC >> taking up all of available memory. >> >> With Idris the problematic module was Idris.ElabTerm (~2900LOC). The >> interesting part of the story is that when I do a clean build of Idris GHC >> consumes all of memory when compiling that module and I have to kill the >> build. But when I restart the build after killing GHC the module is >> compiled using a reasonable amount of memory and within reasonable time. >> >> With Agda the problematic module is Agda.TypeChecking.Serialise (~2000LOC). >> The trick with killing the build and restarting it didn't work in this >> case. I had to compile Agda with GHC 7.8.4 (which works without problems >> though the mentioned module still requires a lot of memory) and alter my >> setup so that Agda binary is not stored inside GHC sandbox. >> >> I wonder if any of you came across similar issues with GHC 7.10.1? Do we >> have any performance data that allows to compare memory usage and >> performance of GHC 7.10.1 with previous stable releases? >> >> All of the above happened on 64bit Debian Wheezy with 2GB of RAM. >> >> Janek >> >> --- >> Politechnika Łódzka >> Lodz University of Technology >> >> Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. >> Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez >> pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. >> >> This email contains information intended solely for the use of the >> individual to whom it is addressed. If you are not the intended recipient >> or if you have received this message in error, please notify the sender and >> delete it from your system. >> _______________________________________________ >> Glasgow-haskell-users mailing list >> Glasgow-haskell-users@haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users > > > > --- > Politechnika Łódzka > Lodz University of Technology > > Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. > Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez > pomyłkę > prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. > > This email contains information intended solely for the use of the individual > to whom it is addressed. > If you are not the intended recipient or if you have received this message in > error, > please notify the sender and delete it from your system. > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users > _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
