#4462: -dcore-lint error in simplifier phase 0 when profiling
-------------------------------------------------+--------------------------
Reporter: wkahl | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.0.1 RC1
Keywords: profiling, simplifier, core-lint | Testcase: Agda (darcs,
current)
Blockedby: | Difficulty:
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: Compile-time
crash
-------------------------------------------------+--------------------------
Comment(by simonpj):
Of course this should not happen. Does it happen when you are not
profiling?
I believe it'll run ok if you switch off Core Lint. Does it?
Looks like there a bit of a setup cost to reproducing this...
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4462#comment:2>
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
