Fix a bug in the new scheduler
authorSimon Marlow <marlowsd@gmail.com>
Thu, 23 Oct 2008 15:50:17 +0000 (15:50 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 23 Oct 2008 15:50:17 +0000 (15:50 +0000)
commitbd6fe3a37cefc235c5abf08557635031678d65e4
tree3f6ae27ec2bc8fa30c398f8392e8e2d3c27a10d4
parenta4326c0e87499dd633c55625f325244b1caf337a
Fix a bug in the new scheduler
If the current thread blocks, we should yield the Capability
immediately, because the thread and hence possibly the current Task
are now owned by someone else.  This worked in the old scheduler, but
we moved where the yield happens in the new scheduler which broke it.
rts/Schedule.c