[project @ 1999-10-19 15:41:18 by simonmar]
authorsimonmar <unknown>
Tue, 19 Oct 1999 15:41:18 +0000 (15:41 +0000)
committersimonmar <unknown>
Tue, 19 Oct 1999 15:41:18 +0000 (15:41 +0000)
commit7da34d34fa651f8acc9dd0f212bdeb7562c74702
tree378fd02394dc2a1d7e5156279cfa29a6c2b694c4
parentd1910765bed05ab31cf7f5c0d979aca812e94136
[project @ 1999-10-19 15:41:18 by simonmar]
use PUSH_ON_RUN_QUEUE macro instead of (slightly less efficient)
inline version.
ghc/rts/Schedule.c