diff options
author | Martin Odersky <odersky@gmail.com> | 2004-09-02 16:19:06 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2004-09-02 16:19:06 +0000 |
commit | 7320ca34aad20a1c47715d265a85da7274b0eaf4 (patch) | |
tree | d463653247060d0d7d5b2139cbdada138215e554 /test/files/run/Course-2002-03.scala | |
parent | 5c259cbc76648b0e36e27b47e07a6066704c3f52 (diff) | |
download | scala-7320ca34aad20a1c47715d265a85da7274b0eaf4.tar.gz scala-7320ca34aad20a1c47715d265a85da7274b0eaf4.tar.bz2 scala-7320ca34aad20a1c47715d265a85da7274b0eaf4.zip |
*** empty log message ***
Diffstat (limited to 'test/files/run/Course-2002-03.scala')
-rw-r--r-- | test/files/run/Course-2002-03.scala | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test/files/run/Course-2002-03.scala b/test/files/run/Course-2002-03.scala index f84625f2b3..c0e3cecfc6 100644 --- a/test/files/run/Course-2002-03.scala +++ b/test/files/run/Course-2002-03.scala @@ -181,12 +181,12 @@ object M5 { object M6 { trait Boolean { - def ifThenElse[a](def t: a)(def e: a): a; + def ifThenElse[a](t: => a)(e: => a): a; def ! : Boolean = ifThenElse[Boolean](new False())(new True()); - def && (def x: Boolean): Boolean = ifThenElse[Boolean](x)(new False()); - def || (def x: Boolean): Boolean = ifThenElse[Boolean](new True())(x); + def && (x: => Boolean): Boolean = ifThenElse[Boolean](x)(new False()); + def || (x: => Boolean): Boolean = ifThenElse[Boolean](new True())(x); // !!! def == (x: Boolean): Boolean = ifThenElse[Boolean](x)(x.!); // !!! def != (x: Boolean): Boolean = ifThenElse[Boolean](x.!)(x); @@ -196,9 +196,9 @@ object M6 { def >= (x: Boolean): Boolean = ifThenElse[Boolean](new True())(x.!); } class True() extends Boolean { // !!! class -> object - def ifThenElse[a](def t: a)(def e: a): a = t } + def ifThenElse[a](t: => a)(e: => a): a = t } class False() extends Boolean { // !!! class -> object - def ifThenElse[a](def t: a)(def e: a): a = e } + def ifThenElse[a](t: => a)(e: => a): a = e } } //############################################################################ |