作者noctem (noctem)
看板PLT
标题Re: [问题] 又是和GHC有关的问题 囧>
时间Sat Sep 29 21:28:50 2007
※ 引述《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
1F：推 godfat:我是灌 tar ball 版，测试使用没问题 09/29 21:34
2F：→ godfat:不过这几天大概没空继续试... 09/29 21:49
3F：推 jaiyalas:我是2.1.2.tar.gz 两台电脑试都有问题.. 09/29 23:45
4F：推 jaiyalas:改用darcs抓下来的就可以build了.. 10/01 10:19