#4237: -dcore-lint error after simplifier iteration 1 when profiling
-------------------------------------------------+--------------------------
Reporter: wkahl | Owner:
Type: bug | Status: infoneeded
Priority: high | Milestone: 6.14.1
Component: Compiler | Version: 6.12.3
Keywords: profiling, simplifier, core-lint | Testcase:
Blockedby: 4172, 4186 | Difficulty:
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: Compile-time
crash
-------------------------------------------------+--------------------------
Comment(by wkahl):
Since I do not know enough darcs to be able to easily turn that
information into a patch that could be applied to a GHC-6.12.3 source
distribution, I tried HEAD, blindly bumped quite a few upper bounds in
Cabal dependency declarations in Agda and in intermediate packages, and
used more recent versions of some of the intermediate packages. (In
{{{mtl}}}, I also had to comment some {{{MonadError}}}-related instances.)
For Agda, I still have exactly the same source as with the original report
--- it now compiles without core-lint error.
Wolfram
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4237#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
