[project @ 2001-06-04 16:26:54 by simonmar]
authorsimonmar <unknown>
Mon, 4 Jun 2001 16:26:54 +0000 (16:26 +0000)
committersimonmar <unknown>
Mon, 4 Jun 2001 16:26:54 +0000 (16:26 +0000)
commit32a464f1b66cd025f643dc15dc6851cb72bfb014
tree487af4b5d2a87752e8bc9101932c32166a1518cd
parentb7f1c589ad931c89606f800b93aef3a7fc531cde
[project @ 2001-06-04 16:26:54 by simonmar]
Try doing a major GC before declaring that we're deadlocked, since
there might be finalizers waiting to run that can unblock the system.

Noticed by: Manuel.
ghc/rts/Schedule.c