diff options
author | Martin Odersky <odersky@gmail.com> | 2006-01-20 15:50:27 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-01-20 15:50:27 +0000 |
commit | 79fab589462c093512d1c5c37adc6fdc28cd86b0 (patch) | |
tree | aa4f6166de1206858fdc109883745f86664cce13 /test/files/pos/expressions-current.scala | |
parent | 6fc1fe1d66829d2dbde21adf5955ab6bf21d2bd8 (diff) | |
download | scala-79fab589462c093512d1c5c37adc6fdc28cd86b0.tar.gz scala-79fab589462c093512d1c5c37adc6fdc28cd86b0.tar.bz2 scala-79fab589462c093512d1c5c37adc6fdc28cd86b0.zip |
Diffstat (limited to 'test/files/pos/expressions-current.scala')
-rw-r--r-- | test/files/pos/expressions-current.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/files/pos/expressions-current.scala b/test/files/pos/expressions-current.scala index b343dbf68b..b383ad949d 100644 --- a/test/files/pos/expressions-current.scala +++ b/test/files/pos/expressions-current.scala @@ -15,7 +15,7 @@ abstract class Lang { def visit(v: visitor): unit = v.caseNum(n); } - class Eval(result: Ref[int]): visitor extends Visitor { + class Eval(result: Ref[int]) requires visitor extends Visitor { def caseNum(n: int) = result.elem = n; } } @@ -31,12 +31,12 @@ abstract class Lang2 extends Lang { def visit(v: visitor): unit = v.casePlus(l, r); } - class Eval2(result: Ref[int]): visitor extends Eval(result) with Visitor2 { + class Eval2(result: Ref[int]) requires visitor extends Eval(result) with Visitor2 { def casePlus(l: Exp, r: Exp) = result.elem = { l.visit(this); result.elem } + { r.visit(this); result.elem } } - class Show2(result: Ref[String]): visitor extends Visitor2 { + class Show2(result: Ref[String]) requires visitor extends Visitor2 { def caseNum(n: int) = result.elem = n.toString(); def casePlus(l: Exp, r: Exp) = result.elem = |