[project @ 2002-04-23 09:56:28 by stolz]
authorstolz <unknown>
Tue, 23 Apr 2002 09:56:29 +0000 (09:56 +0000)
committerstolz <unknown>
Tue, 23 Apr 2002 09:56:29 +0000 (09:56 +0000)
commit85126d5203ec5344f6a5b2e77da23d34444e48c6
tree941b940b2612867d98b3729da32bb320e1aee56f
parent2962dc4a8a863c56faee53349cf79d4c7a175987
[project @ 2002-04-23 09:56:28 by stolz]
- set thread labels to NULL after free()
- labelThread# didn't exit properly

TODO: Labels are prematurely free()d when a thread terminates. Better let
        the GC worry?
ghc/rts/PrimOps.hc
ghc/rts/Schedule.c