
13 Jun
2005
13 Jun
'05
11:55 a.m.
On 6/13/05, Simon Marlow
I presume you're running GHC. There's no way to increase the priority of a thread - GHC's scheduler doesn't have a concept of priorities.
Just out of curiousity, what scheme does GHC use for scheduling threads? /S -- Sebastian Sylvan +46(0)736-818655 UIN: 44640862