[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