Hackageメタデータの依存関係だけ更新してどうするの？ - ぼくのぬまち 出張版

Hackageメタデータの依存関係だけ更新してどうするの？ - ぼくのぬまち 出張版

(追記) cabal update で反映される模様？ Agda-2.4.2.5のDependenciesで，unordered-containersを見て欲...概要を表示 (追記) cabal update で反映される模様？ Agda-2.4.2.5のDependenciesで，unordered-containersを見て欲しい．依存関係が >=0.2.5.0 && <0.2.6 となっているが，これはHackage上のパッケージメタデータのみをパッケージアップロード後に編集したもので，実際2016/1/25現在見えているメタデータはrev 1となっている．編集前の依存関係では >=0.2.5.0 && <0.3 であり，これはパッケージ登録時の.cabalファイルからのものだ． 実際，unordered-containers-0.2.6.0によりAgda-2.4.2.5のビルドは失敗する． src/full/Agda/Utils/HashMap.hs:3:5: Ambiguous occurrence ‘mapMaybe’ It could refer