-dcore-lint error in simplifier phase 0 when profiling
I am getting another core-lint error when compiling Agda with profiling (error message attached).
This is with the darcs version of Agda, up to the following changes:
Mon Nov 1 13:18:39 EDT 2010 frelindb@chalmers.se
* Fixed issue 355
I applied one additional patch (attached below) and bumped version limits in Agda.cabal to get it to compile (and removed -Werror).
I have the following packages installed in my GHC-7.0.0.20101029, installed in this sequence:
zlib-0.5.2.0
xhtml-3000.2.0.1
mtl-1.1.0.2.WK
regex-base-0.93.2
regex-posix-0.94.2
syb-0.1.0.3
haskell-src-1.0.1.3
QuickCheck-2.1.1.1
utf8-string-0.3.6
bytestring-0.9.1.7
haskeline-0.6.2.3
binary-0.5.0.2
(Some of these have trivial edits (mostly .cabal version limit bumps) to compile.)
Trac metadata
Trac field | Value |
---|---|
Version | 7.0.1 RC1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |