From f9d5e3d4e8cca61ee75072ab13c2935061a1850e Mon Sep 17 00:00:00 2001 From: Den Shabalin Date: Thu, 29 Aug 2013 17:52:02 +0200 Subject: SI-7196 add support for refineStat splicing and extraction --- test/files/scalacheck/quasiquotes/TypeDeconstructionProps.scala | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'test/files/scalacheck/quasiquotes/TypeDeconstructionProps.scala') diff --git a/test/files/scalacheck/quasiquotes/TypeDeconstructionProps.scala b/test/files/scalacheck/quasiquotes/TypeDeconstructionProps.scala index 6ab699d4f0..5c919e55cb 100644 --- a/test/files/scalacheck/quasiquotes/TypeDeconstructionProps.scala +++ b/test/files/scalacheck/quasiquotes/TypeDeconstructionProps.scala @@ -26,4 +26,9 @@ object TypeDeconstructionProps extends QuasiquoteProperties("type deconstruction val tq"($head, ..$tail)" = tq"(t0, t1, t2)" assert(head ≈ tq"t0" && tail ≈ List(tq"t1", tq"t2")) } + + property("refined type") = test { + val tq"T { ..$stats }" = tq"T { def foo; val x: Int; type Y = String }" + assert(stats ≈ (q"def foo" :: q"val x: Int" :: q"type Y = String" :: Nil)) + } } \ No newline at end of file -- cgit v1.2.3