From aa43994c9648183a81cba2557dc3188ef6ca341e Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 18 Aug 2008 14:53:44 +0000 Subject: corrected several problems with error reporting... corrected several problems with error reporting: positions checked twice, warnings masking errors. Refined solution of forward implicits without5 result type. --- test/files/neg/t1049.check | 4 ++++ test/files/neg/t1049.scala | 9 +++++++++ test/files/pos/t1001.scala | 6 ++++++ test/files/pos/t1049.scala | 9 +++++++++ 4 files changed, 28 insertions(+) create mode 100755 test/files/neg/t1049.check create mode 100755 test/files/neg/t1049.scala create mode 100755 test/files/pos/t1001.scala create mode 100755 test/files/pos/t1049.scala (limited to 'test/files') diff --git a/test/files/neg/t1049.check b/test/files/neg/t1049.check new file mode 100755 index 0000000000..4a63cb175d --- /dev/null +++ b/test/files/neg/t1049.check @@ -0,0 +1,4 @@ +t1049.scala:6: error: not found: value a + case a : a.MapTo => + ^ +one error found diff --git a/test/files/neg/t1049.scala b/test/files/neg/t1049.scala new file mode 100755 index 0000000000..2f59ed3c09 --- /dev/null +++ b/test/files/neg/t1049.scala @@ -0,0 +1,9 @@ +class J { + type tttt[a, b] <: _root_.scala.collection.mutable.Map[a, b] + + def r(aa : tttt[String, String]) = { + 0 match { + case a : a.MapTo => + } + } +} diff --git a/test/files/pos/t1001.scala b/test/files/pos/t1001.scala new file mode 100755 index 0000000000..88321e6e8e --- /dev/null +++ b/test/files/pos/t1001.scala @@ -0,0 +1,6 @@ +class Foo; + +object Overload{ + val foo = classOf[Foo].getConstructors()(0) + foo.getDeclaringClass +} diff --git a/test/files/pos/t1049.scala b/test/files/pos/t1049.scala new file mode 100755 index 0000000000..dad83579a6 --- /dev/null +++ b/test/files/pos/t1049.scala @@ -0,0 +1,9 @@ +class J { + type tttt[a, b] <: _root_.scala.collection.mutable.Map[a, b] + + def r(a : tttt[String, String]) = { + 0 match { + case a : a.MapTo => + } + } +} -- cgit v1.2.3