[project @ 2005-10-26 08:41:32 by simonpj]

Fix PUSH_ON_RUN_QUEUE bug on Win32

diff --git a/ghc/rts/win32/AsyncIO.c b/ghc/rts/win32/AsyncIO.c
index 12893f3..6881275 100644 (file)
--- a/ghc/rts/win32/AsyncIO.c
+++ b/ghc/rts/win32/AsyncIO.c
@@ -286,7 +286,7 @@ start:
                        /* Terminates the run queue + this inner for-loop. */
                        tso->link = END_TSO_QUEUE;
                        tso->why_blocked = NotBlocked;
-                       PUSH_ON_RUN_QUEUE(tso);
+                       pushOnRunQueue(&MainCapability, tso);
                        break;
                    }
                    break;