diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-06-15 18:19:06 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-06-15 18:19:06 +0200 |
commit | 75d5eee8c7f4d83dd64bca989027925e5ff081b6 (patch) | |
tree | f03fabc0434f1543bf0420a7602ee5b1ffdeb9ce /tests/disabled/macro/run/reify_lazyevaluation.scala | |
parent | a9863ab9b947180f04fd2302e86a4410dc27934b (diff) | |
download | dotty-75d5eee8c7f4d83dd64bca989027925e5ff081b6.tar.gz dotty-75d5eee8c7f4d83dd64bca989027925e5ff081b6.tar.bz2 dotty-75d5eee8c7f4d83dd64bca989027925e5ff081b6.zip |
Move tests that have " macro" or "reify" to disabled.
Diffstat (limited to 'tests/disabled/macro/run/reify_lazyevaluation.scala')
-rw-r--r-- | tests/disabled/macro/run/reify_lazyevaluation.scala | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/tests/disabled/macro/run/reify_lazyevaluation.scala b/tests/disabled/macro/run/reify_lazyevaluation.scala new file mode 100644 index 000000000..564e7f1cd --- /dev/null +++ b/tests/disabled/macro/run/reify_lazyevaluation.scala @@ -0,0 +1,61 @@ + +import scala.language.{ implicitConversions } +import scala.reflect.runtime.universe._ +import scala.tools.reflect.Eval + +object Test extends dotty.runtime.LegacyApp { + reify { + object lazyLib { + + /** Delay the evaluation of an expression until it is needed. */ + def delay[A](value: => A): Susp[A] = new SuspImpl[A](value) + + /** Get the value of a delayed expression. */ + implicit def force[A](s: Susp[A]): A = s() + + /** + * Data type of suspended computations. (The name froms from ML.) + */ + abstract class Susp[+A] extends Function0[A] + + /** + * Implementation of suspended computations, separated from the + * abstract class so that the type parameter can be invariant. + */ + class SuspImpl[A](lazyValue: => A) extends Susp[A] { + private var maybeValue: Option[A] = None + + override def apply() = maybeValue match { + case None => + val value = lazyValue + maybeValue = Some(value) + value + case Some(value) => + value + } + + override def toString() = maybeValue match { + case None => "Susp(?)" + case Some(value) => "Susp(" + value + ")" + } + } + } + + import lazyLib._ + + val s: Susp[Int] = delay { println("evaluating..."); 3 } + + println("s = " + s) // show that s is unevaluated + println("s() = " + s()) // evaluate s + println("s = " + s) // show that the value is saved + println("2 + s = " + (2 + s)) // implicit call to force() + + val sl = delay { Some(3) } + val sl1: Susp[Some[Int]] = sl + val sl2: Susp[Option[Int]] = sl1 // the type is covariant + + println("sl2 = " + sl2) + println("sl2() = " + sl2()) + println("sl2 = " + sl2) + }.eval +} |