diff options
Diffstat (limited to 'tests/repl/errmsgs.check')
-rw-r--r-- | tests/repl/errmsgs.check | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/tests/repl/errmsgs.check b/tests/repl/errmsgs.check index 4e89a16a5..a1b3bd6ae 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) --- [E007] Type Mismatch Error: <console> --------------------------------------- +-- [E007] Type Mismatch Error: <console>:4:27 ---------------------------------- 4 |val x: List[String] = List(1) | ^ | found: Int(1) | required: String | scala> val y: List[List[String]] = List(List(1)) --- [E007] Type Mismatch Error: <console> --------------------------------------- +-- [E007] Type Mismatch Error: <console>:4:38 ---------------------------------- 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")) --- [E007] Type Mismatch Error: <console> --------------------------------------- +-- [E007] Type Mismatch Error: <console>:4:41 ---------------------------------- 4 |val z: (List[String], List[Int]) = (List(1), List("a")) | ^ | found: Int(1) | required: String | --- [E007] Type Mismatch Error: <console> --------------------------------------- +-- [E007] Type Mismatch Error: <console>:4:50 ---------------------------------- 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)) --- [E007] Type Mismatch Error: <console> --------------------------------------- +-- [E007] Type Mismatch Error: <console>:5:33 ---------------------------------- 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) --- [E007] Type Mismatch Error: <console> --------------------------------------- +-- [E007] Type Mismatch Error: <console>:5:29 ---------------------------------- 5 |val b: Inv[String] = new Inv(1) | ^ | found: Int(1) @@ -57,7 +57,7 @@ scala> abstract class C { } } } --- [E007] Type Mismatch Error: <console> --------------------------------------- +-- [E007] Type Mismatch Error: <console>:9:17 ---------------------------------- 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 --- [E007] Type Mismatch Error: <console> --------------------------------------- +-- [E007] Type Mismatch Error: <console>:13:21 --------------------------------- 13 | val z: T = y | ^ |found: T(y) @@ -74,19 +74,19 @@ scala> abstract class C { |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 scala> class Foo() { def bar: Int = 1 }; val foo = new Foo(); foo.barr --- [E008] Member Not Found Error: <console> ------------------------------------ +-- [E008] Member Not Found Error: <console>:4:59 ------------------------------- 4 |class Foo() { def bar: Int = 1 }; val foo = new Foo(); foo.barr | ^^^^^^^^ | value `barr` is not a member of Foo(foo) - did you mean `foo.bar`? scala> val x: List[Int] = "foo" :: List(1) --- [E007] Type Mismatch Error: <console> --------------------------------------- +-- [E007] Type Mismatch Error: <console>:4:19 ---------------------------------- 4 |val x: List[Int] = "foo" :: List(1) | ^^^^^ | found: String($1$) | required: Int | scala> { def f: Int = g; val x: Int = 1; def g: Int = 5; } --- [E038] Reference Error: <console> ------------------------------------------- +-- [E038] Reference Error: <console>:5:15 -------------------------------------- 5 |{ def f: Int = g; val x: Int = 1; def g: Int = 5; } | ^ | `g` is a forward reference extending over the definition of `x` |