diff options
Diffstat (limited to 'tests/repl/errmsgs.check')
| -rw-r--r-- | tests/repl/errmsgs.check | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/tests/repl/errmsgs.check b/tests/repl/errmsgs.check index b791123f4..b8cff5ba2 100644 --- a/tests/repl/errmsgs.check +++ b/tests/repl/errmsgs.check @@ -5,34 +5,34 @@ scala> val x: List[String] = List(1) 3:val x: List[String] = List(1) ^ found: Int(1) - required: Int(1) + required: String scala> val y: List[List[String]] = List(List(1)) -- [E006] Type Mismatch Error: <console> ------------------------------------------------------------------------------- 3:val y: List[List[String]] = List(List(1)) ^ found: Int(1) - required: Int(1) + required: String scala> val z: (List[String], List[Int]) = (List(1), List("a")) -- [E006] Type Mismatch Error: <console> ------------------------------------------------------------------------------- 3:val z: (List[String], List[Int]) = (List(1), List("a")) ^ found: Int(1) - required: Int(1) + required: String -- [E006] Type Mismatch Error: <console> ------------------------------------------------------------------------------- 3:val z: (List[String], List[Int]) = (List(1), List("a")) ^^^ found: String("a") - required: String("a") + required: Int scala> val a: Inv[String] = new Inv(new Inv(1)) -- [E006] Type Mismatch Error: <console> ------------------------------------------------------------------------------- 4:val a: Inv[String] = new Inv(new Inv(1)) ^^^^^ found: Inv[T] - required: Inv[T] + required: String where: T is a type variable with constraint >: Int(1) scala> val b: Inv[String] = new Inv(1) @@ -40,7 +40,7 @@ scala> val b: Inv[String] = new Inv(1) 4:val b: Inv[String] = new Inv(1) ^ found: Int(1) - required: Int(1) + required: String scala> abstract class C { type T @@ -61,7 +61,7 @@ scala> abstract class C { 8: var y: T = x ^ found: C.this.T(C.this.x) - required: C.this.T(C.this.x) + required: T' where: T is a type in class C T' is a type in the initalizer of value s which is an alias of String @@ -69,7 +69,7 @@ scala> abstract class C { 12: val z: T = y ^ found: T(y) - required: T(y) + required: T' where: T is a type in the initalizer of value s which is an alias of String T' is a type in method f which is an alias of Int |