diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-27 11:13:54 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-27 11:13:54 +0100 |
commit | 130e9a20755d512b47ca0fe41d8dfc3f6879cf86 (patch) | |
tree | 317f8224d85705d9951bc129d3e3ec9079895a4d /tests/pending/pos/t3152.scala | |
parent | eb4d80891bcfaf9ffa402ea36f1562c5f597e479 (diff) | |
download | dotty-130e9a20755d512b47ca0fe41d8dfc3f6879cf86.tar.gz dotty-130e9a20755d512b47ca0fe41d8dfc3f6879cf86.tar.bz2 dotty-130e9a20755d512b47ca0fe41d8dfc3f6879cf86.zip |
Use normnalized type to report type errors.
Without it, we get strange error messages like
found: (implicit X)Y
requred: Z
when the problem is really that Y is not a subtype of Z.
Diffstat (limited to 'tests/pending/pos/t3152.scala')
-rw-r--r-- | tests/pending/pos/t3152.scala | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/tests/pending/pos/t3152.scala b/tests/pending/pos/t3152.scala deleted file mode 100644 index 3d1dcbd6f..000000000 --- a/tests/pending/pos/t3152.scala +++ /dev/null @@ -1,20 +0,0 @@ -trait Applicative[M[_]] - -sealed trait MA[M[_], A] { - def sequence[N[_], B](implicit a: A <:< N[B], n: Applicative[N]): N[M[B]] = sys.error("stub") - // def sequence3[N[_], B]()(implicit a: A <:< N[B], n: Applicative[N]): N[M[B]] = sys.error("stub") -} - -object test { - implicit def ListMA[A](l: List[A]): MA[List, A] = sys.error("stub") - implicit val ao: Applicative[Option] = sys.error("stub") - - /* This compiles OK: - (Nil: List[Option[Int]]).sequence3(): Option[List[Int]] - */ - - // BUG: error: immutable is not an enclosing class - // !!! No line number is reported with the error - (Nil: List[Option[Int]]).sequence: Option[List[Int]] - (List[Option[Int]]()).sequence: Option[List[Int]] -} |