Agda2.4.2.2のWindowsへのインストール格闘

最近の修正で、ロケールをなおす必要はなくなって、普通に

cabal install agda -f -cpphs

と同僚Tさんから聞いてやってみたのだが、失敗。以下ログ。またあとでやってみる。cabalが古いかも。

C:\Windows\system32>cabal install agda -f -cpphs
Resolving dependencies...
Downloading Agda-2.4.2.2...
[1 of 1] Compiling Main ( C:\Users\Shuji\AppData\Local\Temp\Agda-2.4.2.2-8956\Agda-2.4.2.2\dist\setup\setup.

(中略)

[193 of 278] Compiling Agda.TypeChecking.Patterns.Abstract ( src\full\Agda\TypeChecking\Patterns\Abstract.hs, dist\build
\Agda\TypeChecking\Patterns\Abstract.o )
[194 of 278] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src\full\Agda\TypeChecking\Patterns\Match.hs-boot, dist\
build\Agda\TypeChecking\Patterns\Match.o-boot )
[195 of 278] Compiling Agda.TypeChecking.Reduce ( src\full\Agda\TypeChecking\Reduce.hs, dist\build\Agda\TypeChecking\Red
uce.o )
[196 of 278] Compiling Agda.TypeChecking.Telescope ( src\full\Agda\TypeChecking\Telescope.hs, dist\build\Agda\TypeChecki
ng\Telescope.o )

src\full\Agda\TypeChecking\Telescope.hs:64:23:
Not in scope: `__IMPOSSIBLE__'
Failed to install Agda-2.4.2.2
cabal: Error: some packages failed to install:
Agda-2.4.2.2 failed during the building phase. The exception was:
ExitFailure 1

追記　2014.12.03
そもそもhaskell-platformが古い（つまりghcが古い）というのが原因ではないかと思い、明日以降そこを更新してみる。とりあえず2014の64bit版は入れたのだが古いのと混在してしまい、よけいにカオス。