#4462: -dcore-lint error in simplifier phase 0 when profiling
-------------------------------------------------+--------------------------
Reporter: wkahl | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 7.0.2
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):
I'm not sure how to progress this.
Agda itself is written in Haskell and should run flawlessly.
I believe that what Agda ''does'' is to translate Agda programs into
Haskell programs that are littered with `unsafeCoerce` and use GHC to
compile those. GHC wasn't intended for tha, so it wouldn't be suprising if
something goes wrong.
Finally, profiling is somehow implicated with your Lint error.
I'm inlined to suggest that you get help from the Agda folk to help narrow
down where the problem is. I really don't know where to start.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4462#comment:8>
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
