[Agda] Agda interface generation memory consumption

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Thu Feb 18 18:57:09 CET 2010


On 2010-02-18 03:06, kahl at cas.mcmaster.ca wrote:
> Anyway, where does this crazy space usage come from?

My guess is lack of sharing.

> and I have the impression that it might be expanded again and again,
> just to check whether the expansions are equal.

Quite likely. Ulf knows the details.

--
/NAD


More information about the Agda mailing list