Ticket #4237 (closed bug: fixed)
-dcore-lint error after simplifier iteration 1 when profiling
|Reported by:||wkahl||Owned by:|
|Keywords:||profiling, simplifier, core-lint||Cc:|
|Operating System:||Linux||Architecture:||x86_64 (amd64)|
|Type of failure:||Compile-time crash||Difficulty:|
|Test Case:||Blocked By:||#4172|
This happens with the current development version of Agda, with last change from July 20.
darcs get --lazy http://code.haskell.org/Agda
./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.