'+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 |