#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
--------------------------------------+-------------------------------------
Comment(by wkahl):
I configured Agda with the following command:
{{{
./Setup configure -p --prefix=/usr/local/packages/ghc-7.0.0.20101029
--ghc-options="-dcore-lint -rtsopts"
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4462#comment:1>
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
