tuned;

--- a/src/Pure/General/exn.scala	Mon Jul 11 22:55:47 2011 +0200
+++ b/src/Pure/General/exn.scala	Mon Jul 11 23:15:04 2011 +0200
@@ -12,8 +12,8 @@
   /* runtime exceptions as values */
 
   sealed abstract class Result[A]
-  case class Res[A](val result: A) extends Result[A]
-  case class Exn[A](val exn: Throwable) extends Result[A]
+  case class Res[A](res: A) extends Result[A]
+  case class Exn[A](exn: Throwable) extends Result[A]
 
   def capture[A](e: => A): Result[A] =
     try { Res(e) }