diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-29 17:10:45 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:36 +0200 |
| commit | f23ff3abba8663a0e7f64f79b556efd36cc86a83 (patch) | |
| tree | d025c7362cd14bae1ac54b02d399554e3b91c12c /tests/repl/errmsgs.check | |
| parent | 0781b31fa4e3d22cb6a51882b8d632ea9a16ed6f (diff) | |
| download | dotty-f23ff3abba8663a0e7f64f79b556efd36cc86a83.tar.gz dotty-f23ff3abba8663a0e7f64f79b556efd36cc86a83.tar.bz2 dotty-f23ff3abba8663a0e7f64f79b556efd36cc86a83.zip | |
Improve positions for MemberDefs using `namePos`
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 2a65fd949..066d98d0f 100644 --- a/tests/repl/errmsgs.check +++ b/tests/repl/errmsgs.check @@ -1,34 +1,34 @@ scala> class Inv[T](x: T) defined class Inv scala> val x: List[String] = List(1) --- [E006] Type Mismatch Error: <console> ------------------------------------------------------------------------------- +-- [E007] Type Mismatch Error: <console> ------------------------------------------------------------------------------- 4 |val x: List[String] = List(1) | ^ | found: Int(1) | required: String | scala> val y: List[List[String]] = List(List(1)) --- [E006] Type Mismatch Error: <console> ------------------------------------------------------------------------------- +-- [E007] Type Mismatch Error: <console> ------------------------------------------------------------------------------- 4 |val y: List[List[String]] = List(List(1)) | ^ | found: Int(1) | required: String | scala> val z: (List[String], List[Int]) = (List(1), List("a")) --- [E006] Type Mismatch Error: <console> ------------------------------------------------------------------------------- +-- [E007] Type Mismatch Error: <console> ------------------------------------------------------------------------------- 4 |val z: (List[String], List[Int]) = (List(1), List("a")) | ^ | found: Int(1) | required: String | --- [E006] Type Mismatch Error: <console> ------------------------------------------------------------------------------- +-- [E007] Type Mismatch Error: <console> ------------------------------------------------------------------------------- 4 |val z: (List[String], List[Int]) = (List(1), List("a")) | ^^^ | found: String("a") | required: Int | scala> val a: Inv[String] = new Inv(new Inv(1)) --- [E006] Type Mismatch Error: <console> ------------------------------------------------------------------------------- +-- [E007] Type Mismatch Error: <console> ------------------------------------------------------------------------------- 5 |val a: Inv[String] = new Inv(new Inv(1)) | ^^^^^ | found: Inv[T] @@ -36,7 +36,7 @@ scala> val a: Inv[String] = new Inv(new Inv(1)) | | where: T is a type variable with constraint >: Int(1) scala> val b: Inv[String] = new Inv(1) --- [E006] Type Mismatch Error: <console> ------------------------------------------------------------------------------- +-- [E007] Type Mismatch Error: <console> ------------------------------------------------------------------------------- 5 |val b: Inv[String] = new Inv(1) | ^ | found: Int(1) @@ -57,7 +57,7 @@ scala> abstract class C { } } } --- [E006] Type Mismatch Error: <console> ------------------------------------------------------------------------------- +-- [E007] Type Mismatch Error: <console> ------------------------------------------------------------------------------- 9 | var y: T = x | ^ | found: C.this.T(C.this.x) @@ -65,7 +65,7 @@ scala> abstract class C { | | where: T is a type in class C | T' is a type in the initalizer of value s which is an alias of String --- [E006] Type Mismatch Error: <console> ------------------------------------------------------------------------------- +-- [E007] Type Mismatch Error: <console> ------------------------------------------------------------------------------- 13 | val z: T = y | ^ | found: T(y) |