id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
3976	'+RTS -S' reports negative allocation.	wkahl		"
While running Agda with {{{+RTS -S}}}, I see a lot of negative heap allocation reported, for example:
{{{
  6967252   1723140 163854188  0.04  0.04   19.39   19.86    0    0  (Gen:  0)
Skipping Categoric.OCC.Props.Mapping (/var/tmp/kahl/svn/RATH/trunk/Agda/Categoric/OCC/Props/Mapping.agdai).
Skipping Categoric.OCC (/var/tmp/kahl/svn/RATH/trunk/Agda/Categoric/OCC.agdai).
-1239169216  10322552 173302476  0.22  0.22   31.17   33.44    0    0  (Gen:  0)
-1255628852  13628520 179169592  0.26  0.26   42.57   44.88    0    1  (Gen:  0)
-1260863492   9986512 182103292  0.16  0.16   53.56   56.22    0    0  (Gen:  0)
-1259733000   8999552 188116056  0.20  0.21   64.50   67.18    0    0  (Gen:  0)
}}}"	bug	closed	low	7.2.1	Runtime System	6.12.1	worksforme		mle+hs@…	Linux	powerpc	Incorrect result at runtime