-dcore-lint error after simplifier iteration 1 when profiling

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

Trac metadata

Trac field	Value
Version	6.12.3
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture