PTT數位生活區 / PLT (程式語言與理論)

[問題] 又是和GHC有關的問題 囧>

看板PLT (程式語言與理論)作者 (ZZZ)時間17年前 (2007/09/29 13:20), 編輯推噓3(3推 0噓 3→)
留言6則, 2人參與, 最新討論串1/2 (看更多)
昨天在灌agda的時候.. (沒錯,我要拋棄epigram轉向agda啦~) 需要的lib什麼的都灌好了 可是在最後要build agda的時候 丟出了我看不懂的東西: src\\full/TypeChecking/Serialise.hs:37:17: Could not find module `Codec.Compression.GZip': it is a member of package zlib-0.3, which is hidden 後來不信邪 跑去ubuntu上試了一下 結果也是類似的問題 不過找不到的module不是同一個.. 可以告訴我要怎樣可以找到那些module嗎?? 謝謝~ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.132.126.239 ※ 編輯: jaiyalas 來自: 220.132.126.239 (09/29 13:21)
推
09/29 16:37, , 1F
沒灌 ghc 的 zlib package?
09/29 16:37, 1F
→
09/29 16:37, , 2F
不然就是版本太舊，改灌上面提到的 0.3 版
09/29 16:37, 2F
推
09/29 19:07, , 3F
我就是0.3版,而且重灌好幾次了..都一樣..
09/29 19:07, 3F
→
09/29 19:07, , 4F
ubuntu噴的是readline-1.0找不到,但是我去看ghc-pkg,裡面
09/29 19:07, 4F
→
09/29 19:08, , 5F
也是有這個東西..所以我不知道是為啥找不到..
09/29 19:08, 5F
推
09/29 19:35, , 6F
應該不是 zlib 和 readline 本身沒灌吧？
09/29 19:35, 6F
‣ 更多 jaiyalas 的文章
文章代碼(AID): #16_U2u-Q (PLT)
PLT 近期熱門文章
更多 近期熱門文章 >>
PTT數位生活區 即時熱門文章
更多 即時熱門文章 >>
‣ 更多 jaiyalas 的文章
文章代碼(AID): #16_U2u-Q (PLT)