Model forkIO in the semantics
authorWolfgang Thaller <wolfgang.thaller@gmx.net>
Fri, 25 Apr 2003 17:57:48 +0000 (17:57 +0000)
committerWolfgang Thaller <wolfgang.thaller@gmx.net>
Fri, 25 Apr 2003 17:57:48 +0000 (17:57 +0000)
commitcf98fb20dede14c253bb3fb89cec2a4a6a6220b5
tree992b16e0feaa28e90d36334053779e2f24c4d634
parent95c99fce4283abf5f154758aa5655c5c47d6d482
Model forkIO in the semantics
Remove the \ret action, as it is not needed
Explicitly state an important invariant
Clean up a bit
ffi/threads.tex