1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
|
import org.scalacheck._, Prop._, Gen._, Arbitrary._
object ErrorProps extends QuasiquoteProperties("errors") {
property("can't extract two .. rankinalities in a row") = fails(
"Can't extract with .. here",
"""
val xs = List(q"x1", q"x2")
val q"f(..$xs1, ..$xs2)" = xs
""")
property("can't unquote with given rank") = fails(
"Can't unquote List[StringBuilder], consider using .. or providing an implicit instance of Liftable[List[StringBuilder]]",
"""
import java.lang.StringBuilder
val xs: List[StringBuilder] = Nil
q"$xs"
""")
property("unquote typename into typedef with default bounds") = fails(
"reflect.runtime.universe.Name expected but reflect.runtime.universe.TypeDef found",
"""
val T1 = TypeName("T1")
val T2 = q"type T"
val t = EmptyTree
q"type $T1[$T2 >: _root_.scala.Any <: _root_.scala.Nothing] = $t" ≈
TypeDef(Modifiers(), T1, List(T2), t)
""")
property("can't unquote annotations with ... rank") = fails(
"Can't unquote with ... here",
"""
val annots = List(List(q"Foo"))
q"@...$annots def foo"
""")
property("only literal string arguments") = fails(
"Quasiquotes can only be used with literal strings",
"""
val s: String = "foo"
StringContext(s).q()
""")
property("don't know how to unquote inside of strings") = fails(
"Don't know how to unquote here",
"""
val x: Tree = EmptyTree
StringContext("\"", "\"").q(x)
""")
property("non-liftable type ..") = fails(
"Can't unquote List[StringBuilder] with .., consider omitting the dots or providing an implicit instance of Liftable[StringBuilder]",
"""
import java.lang.StringBuilder
val bazs = List(new StringBuilder)
q"f(..$bazs)"
""")
property("non-liftable type ...") = fails(
"Can't unquote List[List[StringBuilder]] with .., consider using ... or providing an implicit instance of Liftable[StringBuilder]",
"""
import java.lang.StringBuilder
val bazs = List(List(new StringBuilder))
q"f(..$bazs)"
""")
property("use .. rank or provide liftable") = fails(
"Can't unquote List[StringBuilder], consider using .. or providing an implicit instance of Liftable[List[StringBuilder]]",
"""
import java.lang.StringBuilder
val lst: List[StringBuilder] = Nil
q"f($lst)"
""")
property("use ... rank or provide liftable") = fails(
"Can't unquote List[List[StringBuilder]], consider using ... or providing an implicit instance of Liftable[List[List[StringBuilder]]]",
"""
import java.lang.StringBuilder
val xs: List[List[StringBuilder]] = Nil
q"$xs"
""")
property("not liftable or natively supported") = fails(
"Can't unquote StringBuilder, consider providing an implicit instance of Liftable[StringBuilder]",
"""
import java.lang.StringBuilder
val sb = new StringBuilder
q"f($sb)"
""")
property("can't unquote with ... rank here") = fails(
"Can't unquote with ... here",
"""
val lst: List[List[Tree]] = Nil; val t = EmptyTree
q"f(...$lst, $t)"
""")
property("name expected") = fails(
"reflect.runtime.universe.Name expected but reflect.runtime.universe.Tree found",
"""
val t = EmptyTree
q"class $t"
""")
property("flags or mods expected") = fails(
"reflect.runtime.universe.FlagSet or reflect.runtime.universe.Modifiers expected but reflect.runtime.universe.Tree found",
"""
val t = EmptyTree
q"$t def foo"
""")
property("cant unquote flags together with mods") = fails(
"Can't unquote flags together with modifiers, consider merging flags into modifiers",
"""
val f = Flag.IMPLICIT; val m = NoMods
q"$f $m def foo"
""")
property("can't unquote mods with annots") = fails(
"Can't unquote modifiers together with annotations, consider merging annotations into modifiers",
"""
val m = NoMods
q"@annot $m def foo"
""")
property("can't unquote modifiers with inline flags") = fails(
"Can't unquote modifiers together with flags, consider merging flags into modifiers",
"""
val m = NoMods
q"$m implicit def foo"
""")
property("can't unquote multiple mods") = fails(
"Can't unquote multiple modifiers, consider merging them into a single modifiers instance",
"""
val m1 = NoMods; val m2 = NoMods
q"$m1 $m2 def foo"
""")
property("can't extract mods with annots") = fails(
"Can't extract modifiers together with annotations, consider extracting just modifiers",
"""
val q"@$annot $mods def foo" = EmptyTree
""")
property("can't extract multiple mods") = fails(
"Can't extract multiple modifiers together, consider extracting a single modifiers instance",
"""
val q"$m1 $m2 def foo" = EmptyTree
""")
property("can't unquote values of Null") = fails(
"Can't unquote Null, bottom type values often indicate programmer mistake",
"""
val n = null
q"$n"
""")
property("can't unquote values of Nothing") = fails(
"Can't unquote Nothing, bottom type values often indicate programmer mistake",
"""
def n = ???
q"$n"
""")
property("SI-8211: check unbound placeholder paremeters") = fails(
"unbound placeholder parameter",
"""
q"_"
""")
property("SI-8211: check unbound wildcard types") = fails(
"unbound wildcard type",
"""
tq"_"
""")
// // Make sure a nice error is reported in this case
// { import Flag._; val mods = NoMods; q"lazy $mods val x: Int" }
}
|