id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
4237	-dcore-lint error after simplifier iteration 1 when profiling	wkahl		"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"	bug	closed	high	6.12 branch	Compiler	6.12.3	fixed	profiling, simplifier, core-lint		Linux	x86_64 (amd64)	Compile-time crash			4172