Fixed some deprecation warnings.

5 files changed, 11 insertions, 11 deletions

diff --git a/docs/examples/monads/callccInterpreter.scala b/docs/examples/monads/callccInterpreter.scala
index b184b4592e..5b09b4c285 100644
--- a/docs/examples/monads/callccInterpreter.scala
+++ b/docs/examples/monads/callccInterpreter.scala
@@ -21,7 +21,7 @@ object callccInterpreter {
 
   trait Term;
   case class Var(x: Name) extends Term;
-  case class Con(n: int) extends Term;
+  case class Con(n: Int) extends Term;
   case class Add(l: Term, r: Term) extends Term;
   case class Lam(x: Name, body: Term) extends Term;
   case class App(fun: Term, arg: Term) extends Term;
@@ -31,7 +31,7 @@ object callccInterpreter {
   case object Wrong extends Value {
    override def toString() = "wrong"
   }
-  case class Num(n: int) extends Value {
+  case class Num(n: Int) extends Value {
     override def toString() = n.toString();
   }
   case class Fun(f: Value => M[Value]) extends Value {
diff --git a/docs/examples/monads/directInterpreter.scala b/docs/examples/monads/directInterpreter.scala
index 0e2aae4a7b..a80c9e4ed0 100644
--- a/docs/examples/monads/directInterpreter.scala
+++ b/docs/examples/monads/directInterpreter.scala
@@ -4,14 +4,14 @@ object directInterpreter {
 
   trait Term;
   case class Var(x: Name) extends Term;
-  case class Con(n: int) extends Term;
+  case class Con(n: Int) extends Term;
   case class Add(l: Term, r: Term) extends Term;
   case class Lam(x: Name, body: Term) extends Term;
   case class App(fun: Term, arg: Term) extends Term;
 
   trait Value;
   case object Wrong extends Value;
-  case class Num(n: int) extends Value;
+  case class Num(n: Int) extends Value;
   case class Fun(f: Value => Value)extends Value;
 
   def showval(v: Value): String = v match {
diff --git a/docs/examples/monads/errorInterpreter.scala b/docs/examples/monads/errorInterpreter.scala
index 536b7a152f..d3cc45627d 100644
--- a/docs/examples/monads/errorInterpreter.scala
+++ b/docs/examples/monads/errorInterpreter.scala
@@ -25,7 +25,7 @@ object errorInterpreter {
 
   trait Term
   case class Var(x: Name) extends Term
-  case class Con(n: int) extends Term
+  case class Con(n: Int) extends Term
   case class Add(l: Term, r: Term) extends Term
   case class Lam(x: Name, body: Term) extends Term
   case class App(fun: Term, arg: Term) extends Term
@@ -34,7 +34,7 @@ object errorInterpreter {
   case object Wrong extends Value {
     override def toString() = "wrong"
   }
-  case class Num(n: int) extends Value {
+  case class Num(n: Int) extends Value {
     override def toString() = n.toString()
   }
   case class Fun(f: Value => M[Value]) extends Value {
diff --git a/docs/examples/monads/simpleInterpreter.scala b/docs/examples/monads/simpleInterpreter.scala
index 0707c40d06..219b137c31 100644
--- a/docs/examples/monads/simpleInterpreter.scala
+++ b/docs/examples/monads/simpleInterpreter.scala
@@ -14,7 +14,7 @@ object simpleInterpreter {
 
   trait Term;
   case class Var(x: Name) extends Term;
-  case class Con(n: int) extends Term;
+  case class Con(n: Int) extends Term;
   case class Add(l: Term, r: Term) extends Term;
   case class Lam(x: Name, body: Term) extends Term;
   case class App(fun: Term, arg: Term) extends Term;
@@ -23,7 +23,7 @@ object simpleInterpreter {
   case object Wrong extends Value {
    override def toString() = "wrong"
   }
-  case class Num(n: int) extends Value {
+  case class Num(n: Int) extends Value {
     override def toString() = n.toString();
   }
   case class Fun(f: Value => M[Value]) extends Value {
diff --git a/docs/examples/monads/stateInterpreter.scala b/docs/examples/monads/stateInterpreter.scala
index 499d97e418..35568fb314 100644
--- a/docs/examples/monads/stateInterpreter.scala
+++ b/docs/examples/monads/stateInterpreter.scala
@@ -2,7 +2,7 @@ package examples.monads;
 
 object stateInterpreter {
 
-  type State = int;
+  type State = Int;
 
   val tickS = new M(s => Pair((), s + 1));
 
@@ -25,7 +25,7 @@ object stateInterpreter {
 
   trait Term;
   case class Var(x: Name) extends Term;
-  case class Con(n: int) extends Term;
+  case class Con(n: Int) extends Term;
   case class Add(l: Term, r: Term) extends Term;
   case class Lam(x: Name, body: Term) extends Term;
   case class App(fun: Term, arg: Term) extends Term;
@@ -34,7 +34,7 @@ object stateInterpreter {
   case object Wrong extends Value {
    override def toString() = "wrong"
   }
-  case class Num(n: int) extends Value {
+  case class Num(n: Int) extends Value {
     override def toString() = n.toString();
   }
   case class Fun(f: Value => M[Value]) extends Value {