src/Pure/library.scala
changeset 56728 6dc97c5aaf5e
parent 56688 f3932166a33d
child 56730 e723f041b6d0
     1.1 --- a/src/Pure/library.scala	Fri Apr 25 17:54:54 2014 +0200
     1.2 +++ b/src/Pure/library.scala	Fri Apr 25 20:07:39 2014 +0200
     1.3 @@ -159,18 +159,6 @@
     1.4    def insert[A](x: A)(xs: List[A]): List[A] = if (xs.contains(x)) xs else x :: xs
     1.5    def remove[A, B](x: B)(xs: List[A]): List[A] = if (member(xs)(x)) xs.filterNot(_ == x) else xs
     1.6    def update[A](x: A)(xs: List[A]): List[A] = x :: remove(x)(xs)
     1.7 -
     1.8 -
     1.9 -  /* Java futures */
    1.10 -
    1.11 -  def future_value[A](x: A) = new JFuture[A]
    1.12 -  {
    1.13 -    def cancel(may_interrupt: Boolean): Boolean = false
    1.14 -    def isCancelled(): Boolean = false
    1.15 -    def isDone(): Boolean = true
    1.16 -    def get(): A = x
    1.17 -    def get(timeout: Long, time_unit: TimeUnit): A = x
    1.18 -  }
    1.19  }
    1.20  
    1.21