tuned;
authorwenzelm
Mon Jul 11 23:15:04 2011 +0200 (2011-07-11)
changeset 4376250ce6f602931
parent 43761 e72ba84ae58f
child 43763 ab11dcfa3e6d
tuned;
src/Pure/General/exn.scala
     1.1 --- a/src/Pure/General/exn.scala	Mon Jul 11 22:55:47 2011 +0200
     1.2 +++ b/src/Pure/General/exn.scala	Mon Jul 11 23:15:04 2011 +0200
     1.3 @@ -12,8 +12,8 @@
     1.4    /* runtime exceptions as values */
     1.5  
     1.6    sealed abstract class Result[A]
     1.7 -  case class Res[A](val result: A) extends Result[A]
     1.8 -  case class Exn[A](val exn: Throwable) extends Result[A]
     1.9 +  case class Res[A](res: A) extends Result[A]
    1.10 +  case class Exn[A](exn: Throwable) extends Result[A]
    1.11  
    1.12    def capture[A](e: => A): Result[A] =
    1.13      try { Res(e) }