"No threads to run" ignores finalizers

This is re my posting under the subject "Weak pointers,
garbage collection & deadlocks" on
glasgow-haskell-users.

Basically, the problem is that finaliser threads that
the next GC would generate aren't taken into account
when determining whether there are any more threads to
run.

I attach a program reproducing the error.