解答
/Users/ranha/Agda/Agda_latest% darcs get --partial http://code.haskell.org/Agda
最新版があったみたいです^^
・・・(´・ω・`)
私がずっとやっていたのは完全に無意味だったのかー。まぁGHCとちょっと親しく成れた気がする。
oldとlatestをちゃんと見極められるようになろうという事ですね。
(ていうか完全に2.1.2の中はGHC6.6.x向けに書かれててあるぇーとか思ってたけど、latestあるかどうか確認しないで普通に直していってしまうのが私の悪い癖だよなぁ。
6.6.x -> 6.8.1に成った時のライブラリの変化とか。
今度は上手くいくよね。