[Agda] Agda interface generation memory consumption

Dan Doel dan.doel at gmail.com
Sat Feb 13 15:00:43 CET 2010


On Saturday 13 February 2010 8:23:44 am Nils Anders Danielsson wrote:
> On 2010-02-13 13:20, Nils Anders Danielsson wrote:
> > You are using a 64-bit OS, right? I get the following statistics on my
> 
> > machine (with +RTS -s):
> I forgot to mention that I had to tweak your example, because you import
> a module Basics which is not in your repository.

Ah, I didn't realize it wasn't in there. I've added it to the repository.

When I say it takes 75% of my memory upon loading, that's using C-c C-x C-l in 
the emacs mode, which is what my fingers have become accustomed to. That 
command eats memory and takes forever to complete.

However, experimenting while writing this, I noticed that C-c C-l completes 
almost immediately, using something like 10% of my memory, and furthermore 
even makes C-c C-x C-l behave similarly afterward. So, it appears I've been 
doing something horribly wrong by using the command with C-x in it. What is 
that command doing differently that brings my computer to its knees?

Apparently I need to retrain my fingers. :)

-- Dan


More information about the Agda mailing list