[project @ 2002-04-09 12:56:36 by simonmar]
authorsimonmar <unknown>
Tue, 9 Apr 2002 12:56:36 +0000 (12:56 +0000)
committersimonmar <unknown>
Tue, 9 Apr 2002 12:56:36 +0000 (12:56 +0000)
commit32c9a0258c35c5a10216250d5ee0f8c92c519e33
tree21176df6556f956e17959e15729212d578c84fb1
parented0222d6dcf80ed4b46f1199c0c4e81c58f45e9d
[project @ 2002-04-09 12:56:36 by simonmar]
If we free a StablePtr which has no StableName attached, then just
add its entry to the free list immediately, rather than waiting for
the garbage collector to free it.
ghc/rts/Stable.c