エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Hackageメタデータの依存関係だけ更新してどうするの? - ぼくのぬまち 出張版
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
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