diff options
author | Paul Phillips <paulp@improving.org> | 2010-11-29 22:20:39 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-11-29 22:20:39 +0000 |
commit | cbcf3f505144297ad197d0086ea7a4c4f1fbb598 (patch) | |
tree | bcacfa37635ad8293c831c3bd313806396cede76 /test/files/neg/t0226.check | |
parent | fa822e3ef63a7e11345dcdd2c81a1f565093a63c (diff) | |
download | scala-cbcf3f505144297ad197d0086ea7a4c4f1fbb598.tar.gz scala-cbcf3f505144297ad197d0086ea7a4c4f1fbb598.tar.bz2 scala-cbcf3f505144297ad197d0086ea7a4c4f1fbb598.zip |
"I invite everyone to change this rule, and obs...
"I invite everyone to change this rule, and observe what breaks!"
This much beloved comment from #1208 has been on my radar for two years.
The worm has turned. Closes #1208. The inferred type of an object is now
Foo.type instead of "object Foo". What once was this:
scala> val x: Map[Int, Singleton] = Map(1 -> None)
<console>:5: error: type mismatch;
found : (Int, object None)
required: (Int, Singleton)
Now exudes a pleasing aura of workingness:
scala> val x: Map[Int, Singleton] = Map(1 -> None)
x: Map[Int,Singleton] = Map(1 -> None)
No review.
Diffstat (limited to 'test/files/neg/t0226.check')
-rw-r--r-- | test/files/neg/t0226.check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/neg/t0226.check b/test/files/neg/t0226.check index af81e41a6a..247f1f2443 100644 --- a/test/files/neg/t0226.check +++ b/test/files/neg/t0226.check @@ -4,7 +4,7 @@ t0226.scala:5: error: not found: type A1 t0226.scala:5: error: not found: type A1 (implicit _1: Foo[List[A1]], _2: Foo[A2]): Foo[Tuple2[List[A1], A2]] = ^ -t0226.scala:8: error: could not find implicit value for parameter rep: Test.this.Foo[((List[Char], Int), (object Nil, Int))] +t0226.scala:8: error: could not find implicit value for parameter rep: Test.this.Foo[((List[Char], Int), (scala.collection.immutable.Nil.type, Int))] foo(((List('b'), 3), (Nil, 4))) ^ three errors found |