'+RTS -S' reports negative allocation.

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)

Trac metadata

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

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information

Admin message

'+RTS -S' reports negative allocation.