updates Scala examples, added detach plugin

1 files changed, 5 insertions, 5 deletions

diff --git a/docs/examples/gadts.scala b/docs/examples/gadts.scala
index 88e1ff9fdb..d2792f4ada 100644
--- a/docs/examples/gadts.scala
+++ b/docs/examples/gadts.scala
@@ -3,10 +3,10 @@ package examples
 object gadts extends Application {
 
   abstract class Term[T]
-  case class Lit(x: int) extends Term[int]
-  case class Succ(t: Term[int]) extends Term[int]
-  case class IsZero(t: Term[int]) extends Term[boolean]
-  case class If[T](c: Term[boolean],
+  case class Lit(x: Int) extends Term[Int]
+  case class Succ(t: Term[Int]) extends Term[Int]
+  case class IsZero(t: Term[Int]) extends Term[Boolean]
+  case class If[T](c: Term[Boolean],
                    t1: Term[T],
                    t2: Term[T]) extends Term[T]
 
@@ -16,7 +16,7 @@ object gadts extends Application {
     case IsZero(u)     => eval(u) == 0
     case If(c, u1, u2) => eval(if (eval(c)) u1 else u2)
   }
-  Console.println(
+  println(
     eval(If(IsZero(Lit(1)), Lit(41), Succ(Lit(41)))))
 }