diff options
| author | Denys Shabalin <denys.shabalin@typesafe.com> | 2014-04-20 17:58:46 +0200 |
|---|---|---|
| committer | Denys Shabalin <denys.shabalin@typesafe.com> | 2014-04-20 17:58:46 +0200 |
| commit | 0b725908853f721068bef4ad6a494fc4815ad5d1 (patch) | |
| tree | 0e4bde03d19aeec8c3161d5bc4808d59416ea32a /test/files/scalacheck/quasiquotes | |
| parent | cac6383e6658dc5956540b76b9b46c3b664774ac (diff) | |
| download | scala-0b725908853f721068bef4ad6a494fc4815ad5d1.tar.gz scala-0b725908853f721068bef4ad6a494fc4815ad5d1.tar.bz2 scala-0b725908853f721068bef4ad6a494fc4815ad5d1.zip | |
Re-enable typechecked types part of quasiquote test suite
It was accidentally disabled.
Diffstat (limited to 'test/files/scalacheck/quasiquotes')
| -rw-r--r-- | test/files/scalacheck/quasiquotes/TypecheckedProps.scala | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/test/files/scalacheck/quasiquotes/TypecheckedProps.scala b/test/files/scalacheck/quasiquotes/TypecheckedProps.scala index a5d526191f..f84df269ca 100644 --- a/test/files/scalacheck/quasiquotes/TypecheckedProps.scala +++ b/test/files/scalacheck/quasiquotes/TypecheckedProps.scala @@ -1,9 +1,8 @@ import org.scalacheck._, Prop._, Gen._, Arbitrary._ import scala.reflect.runtime.universe._, Flag._, internal.reificationSupport._ -object TypecheckedProps extends QuasiquoteProperties("typechecked") { - - +object TypecheckedProps extends QuasiquoteProperties("typechecked") + with TypecheckedTypes { property("tuple term") = test { val q"(..$elements)" = typecheck(q"(1, 2)") assert(elements ≈ List(q"1", q"2")) @@ -166,7 +165,7 @@ trait TypecheckedTypes { self: QuasiquoteProperties => } property("applied type") = test { - val tt = typecheckTyp(q"Map[Int, Int]") + val tt = typecheckTyp(tq"Map[Int, Int]") val tq"$tpt[..$tpts]" = tt val tq"scala.this.Predef.Map" = tpt val List(tq"scala.Int", tq"scala.Int") = tpts @@ -205,7 +204,7 @@ trait TypecheckedTypes { self: QuasiquoteProperties => property("annotated type") = test { val tq"$tpt @$annot" = typecheckTyp(tq"Int @unchecked") val tq"scala.Int" = tpt - val q"new unchecked" = annot + val tq"unchecked" = annot } property("existential type") = test { |