#4462: -dcore-lint error in simplifier phase 0 when profiling
--------------------------------------+-------------------------------------
Reporter: wkahl | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.0.1 RC1 | Keywords: profiling, simplifier,
core-lint
Testcase: Agda (darcs, current) | Blockedby:
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: Compile-time crash
--------------------------------------+-------------------------------------
I am getting another core-lint error when compiling Agda with profiling
(error message attached).
This is with the darcs version of [http://code.haskell.org/Agda Agda], up
to the following changes:
{{{
Mon Nov 1 13:18:39 EDT 2010 freli...@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.)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4462>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
