blob: 6a9e1d6e6bd5a13d091cef95d91191ef01518416 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
Macros_Test_2.scala:11: error: macro method foo1: (x: Int)Int does not take type parameters.
foo1[String](42)
^
Macros_Test_2.scala:12: error: wrong number of type parameters for macro method foo2: [T](x: Int)Int
foo2[String, String](42)
^
Macros_Test_2.scala:13: error: wrong number of type parameters for macro method foo3: [T, U](x: Int)Int
foo3[String](42)
^
Macros_Test_2.scala:14: error: String takes no type parameters, expected: one
foo4[String](42)
^
Macros_Test_2.scala:15: error: kinds of the type arguments (List) do not conform to the expected kinds of the type parameters (type T).
List's type parameters do not match type T's expected parameters:
type A has no type parameters, but type U has one
foo5[List](42)
^
5 errors found
|