Memory Leak?

Agda emacs mode 一副 memory leak 很嚴重的樣子。寫一段時間，系統效能就會嚴重下降（似乎是傳說中的 thrashing (of memory paging)，因為 page out 的數量激增），一定要重開 Aquamacs 才寫得下去。剛剛把 Aquamacs 關掉，free memory 立刻從 10MB 躍升到 1.13GB！

--
太驚人了 XD。