id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
4472	Funny memory leak error with ghc-6.12.3 -debug in Agda-2.2.8	wkahl		"I observe is a reproducible corruption of RTS data structures when running Agda-2.2.8 compiled with ghc-6.12.3 -debug.

I use the following invocation:
 
{{{
agda-2.2.8_debug -i . -i /var/tmp/AGDA/lib-0.4/src Categoric/OrderedMonad/Kleisli/Comp/AssocProofterm.lagda +RTS -C0 -i0 -K64M -M12G -H12G -S 
}}}

All five runs (attached) end in the same way:

{{{
8740651008 2124643288 3125408656 22.32 22.32  370.45  375.18    0    0  (Gen:  0)
5351931880 3430348176 3451894920 30.13 30.14  411.48  416.22    0    0  (Gen:  1)
7198887936 1656205640 4617718288 17.82 17.82  444.03  448.78    0    0  (Gen:  0)
6178561984 1656768456 5627753744 16.68 16.68  473.58  478.32    0    0  (Gen:  0)
5262295040 1400296576 6476570432 14.15 14.16  498.98  503.73    0    0  (Gen:  0)
Memory leak detected:
  gen 0 blocks :   519 blocks (2 MB)
  gen 1 blocks : 1295493 blocks (5060 MB)
  nursery      : 1456444 blocks (5689 MB)
  retainer     :     0 blocks (0 MB)
  arena blocks :     0 blocks (0 MB)
  exec         :     0 blocks (0 MB)
  free         : 174549452 blocks (681833 MB)
  total        : 177301908 blocks (692585 MB)

  in system    : 3926412 blocks (15581 MB)

Unreachable blocks:
agda-2.2.8_debug: internal error: ASSERTION FAILED: file rts/sm/Storage.c, line 1388

    (GHC version 6.12.3 for x86_64_unknown_linux)
    Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
Aborted

real	12m50.913s
user	10m29.750s
sys	0m6.040s
}}}

I am submitting this just in case somebody is able to find an explanation from just looking at this effect; ask if you want to actually try to reproduce it yourself (it involves a significant number of Agda theories)."	bug	closed	normal	7.0.2	Runtime System	6.12.3	fixed	block counts, memory leak		Linux	x86_64 (amd64)	Runtime crash