obsolete;
authorwenzelm
Thu Apr 24 22:20:36 2014 +0200 (2014-04-24)
changeset 56707aa4631879df8
parent 56706 f2f53f7046f4
child 56708 d39148de6eee
obsolete;
src/Pure/Concurrent/simple_thread.scala
     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