author | wenzelm |
Tue, 21 Sep 2010 22:01:27 +0200 | |
changeset 39579 | 0d5a32c1bf11 |
parent 39578 | b75164153c37 |
child 39580 | 05daab5782f6 |
--- a/src/Pure/Concurrent/simple_thread.scala Tue Sep 21 21:53:15 2010 +0200 +++ b/src/Pure/Concurrent/simple_thread.scala Tue Sep 21 22:01:27 2010 +0200 @@ -26,7 +26,10 @@ thread } - /* future result */ + def fork(body: => Unit): Thread = fork()(body) + + + /* future result via thread */ def future[A](name: String = "", daemon: Boolean = false)(body: => A): Future[A] = {