summaryrefslogtreecommitdiff
path: root/test/files/neg/t0226.check
Commit message (Collapse)AuthorAgeFilesLines
* "I invite everyone to change this rule, and obs...Paul Phillips2010-11-291-1/+1
| | | | | | | | | | | | | | | | | | | | | "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.
* relax implicit divergence checkAdriaan Moors2010-09-141-2/+1
| | | | | | | | patch contributed by Mark Harrah in http://article.gmane.org/gmane.comp.lang.scala/20700 reviewed by moors and odersky
* the essence of tcpoly inference + test casesAdriaan Moors2009-10-221-1/+2
| | | | | | fixes to check files and removed nonapplicable test case Tuple2 impl, but commented out so that we can bootstrap whitespace...
* added manifests to most parts of standard libra...Martin Odersky2009-08-271-1/+1
| | | | | | | added manifests to most parts of standard library which deal with arrays. One test is temporarily disabled, as it shows a deep problem with multi-dimensional arrays (which was present all along).
* improvements to names / defaults (implicits, ty...Lukas Rytz2009-06-201-1/+1
| | | | | | improvements to names / defaults (implicits, type of defaults, #2064, ...)
* Updated neg check files to the new output of r1...Antonio Cunei2009-05-201-1/+1
| | | | | Updated neg check files to the new output of r17773
* added testsMartin Odersky2007-11-191-0/+10