diff options
author | michelou <michelou@epfl.ch> | 2008-06-10 08:46:06 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2008-06-10 08:46:06 +0000 |
commit | a4baf28d203959457d82762e27ffbb7104dc0a07 (patch) | |
tree | 7b249d126396b87cd937da6cd564000b8a6051de /test/files/pos/bug267.scala | |
parent | 113c79559555dd408ea76da5f462025536cbd7d6 (diff) | |
download | scala-a4baf28d203959457d82762e27ffbb7104dc0a07.tar.gz scala-a4baf28d203959457d82762e27ffbb7104dc0a07.tar.bz2 scala-a4baf28d203959457d82762e27ffbb7104dc0a07.zip |
int -> Int, etc..
Diffstat (limited to 'test/files/pos/bug267.scala')
-rw-r--r-- | test/files/pos/bug267.scala | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/test/files/pos/bug267.scala b/test/files/pos/bug267.scala index 92282f77a2..d7eae9b8d6 100644 --- a/test/files/pos/bug267.scala +++ b/test/files/pos/bug267.scala @@ -1,4 +1,4 @@ -package expAbstractData; +package expAbstractData /** A base class consisting of * - a root trait (i.e. abstract class) `Exp' with an `eval' function @@ -6,29 +6,29 @@ package expAbstractData; * - a concrete instance class `Num' of `Exp' for numeric literals */ trait Base { - type exp <: Exp; + type exp <: Exp trait Exp { - def eval: int + def eval: Int } - class Num(v: int) extends Exp { self: exp => - val value = v; + class Num(v: Int) extends Exp { self: exp => + val value = v def eval = value } } object testBase extends Application with Base { - type exp = Exp; + type exp = Exp val term = new Num(2); - Console.println(term.eval); + Console.println(term.eval) } /** Data extension: An extension of `Base' with `Plus' expressions */ trait BasePlus extends Base { class Plus(l: exp, r: exp) extends Exp { self: exp => - val left = l; - val right = r; + val left = l + val right = r def eval = left.eval + right.eval } } @@ -36,13 +36,13 @@ trait BasePlus extends Base { /** Operation extension: An extension of `Base' with 'show' methods. */ trait Show extends Base { - type exp <: Exp1; + type exp <: Exp1 trait Exp1 extends Exp { - def show: String; + def show: String } - class Num1(v: int) extends Num(v) with Exp1 { self: exp with Num1 => - def show = value.toString(); + class Num1(v: Int) extends Num(v) with Exp1 { self: exp with Num1 => + def show = value.toString() } } |