--- a/src/Pure/Concurrent/simple_thread.scala Thu Apr 24 22:10:00 2014 +0200
+++ b/src/Pure/Concurrent/simple_thread.scala Thu Apr 24 22:20:36 2014 +0200
@@ -10,8 +10,6 @@
import java.lang.Thread
-import scala.actors.Actor
-
object Simple_Thread
{
@@ -42,15 +40,5 @@
val thread = fork(name, daemon) { result.fulfill_result(Exn.capture(body)) }
(thread, result)
}
-
-
- /* thread as actor */
-
- def actor(name: String, daemon: Boolean = false)(body: => Unit): Actor =
- {
- val actor = Future.promise[Actor]
- val thread = fork(name, daemon) { actor.fulfill(Actor.self); body }
- actor.join
- }
}