看板 [ PLT ]
討論串[問題] 又是和GHC有關的問題 囧>
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[問題] 又是和GHC有關的問題 囧>
推噓3(3推 0噓 3→)留言6則，0人參與, 最新作者jaiyalas (ZZZ)時間17年前 (2007/09/29 13:20), 編輯資訊
1
0
0
內容預覽:
昨天在灌agda的時候... (沒錯,我要拋棄epigram轉向agda啦~). 需要的lib什麼的都灌好了. 可是在最後要build agda的時候. 丟出了我看不懂的東西:. src\\full/TypeChecking/Serialise.hs:37:17:. Could not find m
(還有129個字)
#2
Re: [問題] 又是和GHC有關的問題 囧>
推噓3(3推 0噓 1→)留言4則，0人參與, 最新作者noctem (noctem)時間17年前 (2007/09/29 21:28), 編輯資訊
0
0
0
內容預覽:
相信 Agda 會比較好用啦... XD. 我用 "it is a member of package" "which is hidden" 做. google search. 有的人提到得用 ghc-pkg expose ..., 有的人. 說這是 cabal file 出問題（I have no
(還有601個字)
首頁
上一頁
1
下一頁
尾頁