25 Apr 2003 19:57
cvs commit: haskell-report/ffi threads.tex
<wolfgang <at> glass.cse.ogi.edu>
2003-04-25 17:57:48 GMT
2003-04-25 17:57:48 GMT
wolfgang 2003/04/25 10:57:48 PDT
Modified files:
ffi threads.tex
Log:
Model forkIO in the semantics
Remove the \ret action, as it is not needed
Explicitly state an important invariant
Clean up a bit
Revision Changes Path
1.11 +53 -19 haskell-report/ffi/threads.tex
RSS Feed