Make the non-threaded-RTS threadDelay wait at least as long as asked
authorIan Lynagh <igloo@earth.li>
Tue, 28 Nov 2006 21:05:16 +0000 (21:05 +0000)
committerIan Lynagh <igloo@earth.li>
Tue, 28 Nov 2006 21:05:16 +0000 (21:05 +0000)
commit98cb2efd8279ec48eee1be37dad263e16552fafb
treece5dc4519ea674fc6fe03a399b4a7668beaf90e5
parent7e84448c9ed32f4fdc3de3155913bafd416898af
Make the non-threaded-RTS threadDelay wait at least as long as asked
rts/PrimOps.cmm