#4237: -dcore-lint error after simplifier iteration 1 when profiling
-------------------------------+--------------------------------------------
Reporter: wkahl | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 6.12.3 | Keywords: profiling, simplifier, core-lint
Testcase: | Blockedby:
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: Compile-time crash
-------------------------------+--------------------------------------------
This happens with the current development version of Agda, with last
change from July 20.
{{{
darcs get --lazy http://code.haskell.org/Agda
}}}
I did:
{{{
./Setup configure -p --prefix=/usr/local/packages/ghc-6.12.3 --ghc-option
=-dcore-lint
./Setup build -v > build.log 2>&1
}}}
{{{build.log}}} is attached, and shows a core-lint error in the profiling
way.
I tried this since I am getting segfaults and other errors in long Agda
runs with more than 4GB heap, and have no idea yet how to trim them down.
Wolfram
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4237>
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
