Adventures with threadDelay Mac OS X

[Pavel Perikov]

hi list.

I tried to build myself 64-bit compiler under mac os x. I started with the distribution of 7.0.1 provided by Gregory Wright. It installed and worked fine but 7.0.1 has some known bugs so I moved on to later snapshots.

Unfortunately all the versions I tried had weird threadDelay behavior (64-bit, Mac OS X)

7.1.20110131 DEVELOPMENT - threadDelay returns immediately

STABLE branch
7.0.1.20110201, 7.0.1.20110211 - threadDelay hangs forever

I tried searching trac quickly but did not found anything relevant. 

Is this a known problem?

just to add some fun - i noticed the problem because when working in agda Auto prover hanged instead of answering "No solution found (5s)" :)


pavel