aboutsummaryrefslogtreecommitdiff
path: root/tests/repl/errmsgs.check
diff options
context:
space:
mode:
Diffstat (limited to 'tests/repl/errmsgs.check')
-rw-r--r--tests/repl/errmsgs.check90
1 files changed, 45 insertions, 45 deletions
diff --git a/tests/repl/errmsgs.check b/tests/repl/errmsgs.check
index b8cff5ba2..2a65fd949 100644
--- a/tests/repl/errmsgs.check
+++ b/tests/repl/errmsgs.check
@@ -2,46 +2,46 @@ scala> class Inv[T](x: T)
defined class Inv
scala> val x: List[String] = List(1)
-- [E006] Type Mismatch Error: <console> -------------------------------------------------------------------------------
-3:val x: List[String] = List(1)
- ^
- found: Int(1)
- required: String
-
+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> -------------------------------------------------------------------------------
-3:val y: List[List[String]] = List(List(1))
- ^
- found: Int(1)
- required: String
-
+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> -------------------------------------------------------------------------------
-3:val z: (List[String], List[Int]) = (List(1), List("a"))
- ^
- found: Int(1)
- required: String
-
+4 |val z: (List[String], List[Int]) = (List(1), List("a"))
+ | ^
+ | found: Int(1)
+ | required: String
+ |
-- [E006] Type Mismatch Error: <console> -------------------------------------------------------------------------------
-3:val z: (List[String], List[Int]) = (List(1), List("a"))
- ^^^
- found: String("a")
- required: Int
-
+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> -------------------------------------------------------------------------------
-4:val a: Inv[String] = new Inv(new Inv(1))
- ^^^^^
- found: Inv[T]
- required: String
-
- where: T is a type variable with constraint >: Int(1)
+5 |val a: Inv[String] = new Inv(new Inv(1))
+ | ^^^^^
+ | found: Inv[T]
+ | required: String
+ |
+ | where: T is a type variable with constraint >: Int(1)
scala> val b: Inv[String] = new Inv(1)
-- [E006] Type Mismatch Error: <console> -------------------------------------------------------------------------------
-4:val b: Inv[String] = new Inv(1)
- ^
- found: Int(1)
- required: String
-
+5 |val b: Inv[String] = new Inv(1)
+ | ^
+ | found: Int(1)
+ | required: String
+ |
scala> abstract class C {
type T
val x: T
@@ -58,19 +58,19 @@ scala> abstract class C {
}
}
-- [E006] Type Mismatch Error: <console> -------------------------------------------------------------------------------
-8: var y: T = x
- ^
- found: 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
+9 | var y: T = x
+ | ^
+ | found: 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
-- [E006] Type Mismatch Error: <console> -------------------------------------------------------------------------------
-12: val z: T = y
- ^
- found: 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
+13 | val z: T = y
+ | ^
+ | found: 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
scala> :quit