diff options
author | Martin Odersky <odersky@gmail.com> | 2016-08-23 15:48:48 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-08-23 15:54:17 +0200 |
commit | 1a538af06323f7d6cd471ae0af39842f26e9e7be (patch) | |
tree | ec621d6d47aee7aaaec8c18f0697afdd118b999a /tests/pending | |
parent | 76c3e99e33cf25a6ebccc0785212f629a3cda54e (diff) | |
download | dotty-1a538af06323f7d6cd471ae0af39842f26e9e7be.tar.gz dotty-1a538af06323f7d6cd471ae0af39842f26e9e7be.tar.bz2 dotty-1a538af06323f7d6cd471ae0af39842f26e9e7be.zip |
Fix #1457: Three incompatbilities with scalac
Two of these are unavoidable. I moved the tests to diabled/not-representable
and added in each case a comment to the main scala file detailing why there
is a deviation.
The last one (import-rewrite) is fixed.
Diffstat (limited to 'tests/pending')
-rw-r--r-- | tests/pending/hkt/compiler.error | 6 | ||||
-rw-r--r-- | tests/pending/hkt/hkt.scala | 15 | ||||
-rw-r--r-- | tests/pending/import-rewrite/compiler.error | 6 | ||||
-rw-r--r-- | tests/pending/import-rewrite/file.scala | 10 | ||||
-rw-r--r-- | tests/pending/import-rewrite/rewrite.scala | 7 |
5 files changed, 0 insertions, 44 deletions
diff --git a/tests/pending/hkt/compiler.error b/tests/pending/hkt/compiler.error deleted file mode 100644 index b31760891..000000000 --- a/tests/pending/hkt/compiler.error +++ /dev/null @@ -1,6 +0,0 @@ -$ scalac tests/pending/hkt/*.scala -$ ./bin/dotc tests/pending/hkt/*.scala -tests/pending/hkt/hkt.scala:14: error: method empty in object Child does not take type parameters - Child.empty[Int] - ^ -one error found diff --git a/tests/pending/hkt/hkt.scala b/tests/pending/hkt/hkt.scala deleted file mode 100644 index 34858cd95..000000000 --- a/tests/pending/hkt/hkt.scala +++ /dev/null @@ -1,15 +0,0 @@ -import scala.language.higherKinds -// Minimal reproduction for: -// scala.collection.mutable.ArrayStack.empty[Int] - -abstract class Super[C[_]] { - def empty[T]: C[T] = ??? -} - -class Child[T] - -object Child extends Super[Child] { - def empty: Child[Nothing] = new Child() - - Child.empty[Int] -} diff --git a/tests/pending/import-rewrite/compiler.error b/tests/pending/import-rewrite/compiler.error deleted file mode 100644 index 0832d33bb..000000000 --- a/tests/pending/import-rewrite/compiler.error +++ /dev/null @@ -1,6 +0,0 @@ -$ scalac tests/pending/import-rewrite/*.scala -$ ./bin/dotc tests/pending/import-rewrite/*.scala -tests/pending/import-rewrite/rewrite.scala:5: error: value apply is not a member of java.io.File.type - Seq("").map(File.apply) - ^ -one error found diff --git a/tests/pending/import-rewrite/file.scala b/tests/pending/import-rewrite/file.scala deleted file mode 100644 index e52581e81..000000000 --- a/tests/pending/import-rewrite/file.scala +++ /dev/null @@ -1,10 +0,0 @@ -package file - -class File private (val str: String) { - def name: String = "name" -} - -object File { - def apply(str: String): File = new File(str) -} - diff --git a/tests/pending/import-rewrite/rewrite.scala b/tests/pending/import-rewrite/rewrite.scala deleted file mode 100644 index 0bda02c5e..000000000 --- a/tests/pending/import-rewrite/rewrite.scala +++ /dev/null @@ -1,7 +0,0 @@ -package file -import java.io.{File => JFile, _}, StreamTokenizer.{TT_EOF => eof} - -object Main { - Seq("").map(File.apply) - // def name(file: File) = file.name -} |