1.1 --- a/src/Pure/Concurrent/simple_thread.scala Thu Apr 24 22:10:00 2014 +0200
1.2 +++ b/src/Pure/Concurrent/simple_thread.scala Thu Apr 24 22:20:36 2014 +0200
1.3 @@ -10,8 +10,6 @@
1.4
1.5 import java.lang.Thread
1.6
1.7 -import scala.actors.Actor
1.8 -
1.9
1.10 object Simple_Thread
1.11 {
1.12 @@ -42,15 +40,5 @@
1.13 val thread = fork(name, daemon) { result.fulfill_result(Exn.capture(body)) }
1.14 (thread, result)
1.15 }
1.16 -
1.17 -
1.18 - /* thread as actor */
1.19 -
1.20 - def actor(name: String, daemon: Boolean = false)(body: => Unit): Actor =
1.21 - {
1.22 - val actor = Future.promise[Actor]
1.23 - val thread = fork(name, daemon) { actor.fulfill(Actor.self); body }
1.24 - actor.join
1.25 - }
1.26 }
1.27