推 godfat:我是灌 tar ball 版，測試使用沒問題 09/29 21:34
→ godfat:不過這幾天大概沒空繼續試... 09/29 21:49
推 jaiyalas:我是2.1.2.tar.gz 兩台電腦試都有問題.. 09/29 23:45
推 jaiyalas:改用darcs抓下來的就可以build了.. 10/01 10:19
※ 引述《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