-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 355I 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 |