Re: [問題] 又是和GHC有關的問題 囧>
※ 引述《jaiyalas (ZZZ)》之銘言：
: 昨天在灌agda的時候..
: (沒錯,我要拋棄epigram轉向agda啦~)
相信 Agda 會比較好用啦... XD
: 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
我用 "it is a member of package" "which is hidden" 做
google search. 有的人提到得用 ghc-pkg expose ..., 有的人
說這是 cabal file 出問題（I have no idea what that means).
你的 Agda 是用 darcs 抓下來的最新版，還是 tar.gz?
我是前者。有人用後者裝成功的嗎？
我的 ghc-pkg list 是這樣的
Koyuki:~ scm$ ghc-pkg list
/opt/local/lib/ghc-6.6.1/package.conf:
Agda-2.1.3, Cabal-1.1.6.2, EdisonAPI-1.2.1, EdisonCore-1.2.1,
GLUT-2.1.1, HGL-3.1.1, HUnit-1.1.1, OpenGL-2.2.1, QuickCheck-1.0.1,
X11-1.2.1, base-2.1.1, binary-0.3, cgi-3001.1.1, fgl-5.4.1,
filepath-1.0, (ghc-6.6.1), haskell-src-1.0.1, haskell98-1.0,
html-1.0.1, mtl-1.0.1, network-2.0.1, parsec-2.0, readline-1.0,
regex-base-0.72, regex-compat-0.71, regex-posix-0.71, rts-1.0,
stm-2.0, template-haskell-2.1, time-1.1.1, unix-2.1,
xhtml-3000.0.2, zlib-0.3
BTW, 既然這邊是公開板，是不是要解釋一下什麼是 GHC 或 Agda 呀？ :)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 123.192.157.71
推
09/29 21:34, , 1F
09/29 21:34, 1F
→
09/29 21:49, , 2F
09/29 21:49, 2F
推
09/29 23:45, , 3F
09/29 23:45, 3F
推
10/01 10:19, , 4F
10/01 10:19, 4F
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 2 之 2 篇)：
PLT 近期熱門文章
PTT數位生活區 即時熱門文章
