[Agda] Agda interface generation memory consumption

[Nils Anders Danielsson]

On 2010-02-13 14:00, Dan Doel wrote:
> 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?

C-c C-l and C-c C-x C-l bind to the same command. Interface files are
cached in memory when they are first loaded (unless an error is
encountered), so subsequent loads are usually a lot faster.

--
/NAD