in Debian, we are having some problems building large libraries (such as
agda, highlighting-kate, xmonad-contrib) on weaker architectures (sparc,
armel, s390) which compile with -fvia-C, especially when building the
In the case of highlighting-kate, there were really issues with the
code: A huge list of words which ghc seemed to try to inline caused it
consuming a lot of memory.
But in the case of agda, it even fails with relatively small modules:
Now, looking at the memory gauge on my computer while compiling such a
program with Cabal (which compiles all modules in one ghc call), it
looks like it is steadily increasing. Iâd expect ghc to free a lot of
memory when it is done with a module, but this does not seem to be the
Is this a bug (i.e. memory leak) in ghc or expected behavior?
Is there a way to make Cabal build each module on its own?
Are there any fixes or work-arounds?
Joachim "nomeata" Breitner
nomeata@xxxxxxxxxx | ICQ# 74513189 | GPG-Keyid: 4743206C
JID: nomeata@xxxxxxxxxxxxxxxxxxx | http://people.debian.org/~nomeata
Haskell-Cafe mailing list