[project @ 2003-10-01 10:36:49 by wolfgang]
authorwolfgang <unknown>
Wed, 1 Oct 2003 10:36:49 +0000 (10:36 +0000)
committerwolfgang <unknown>
Wed, 1 Oct 2003 10:36:49 +0000 (10:36 +0000)
commitaefc6956f4828708e1343cf4858296fc3141a176
treed45ee735fce16d156e62de0bcd0454ae775f0354
parent75a2ab872a1af9a4c61691d9ae24dae3bd764719
[project @ 2003-10-01 10:36:49 by wolfgang]
Make sure that the sequence
rts_lock();
rts_unlock(); /* (with nothing in between) */
doesn't crash the threaded RTS.
ghc/rts/RtsAPI.c