From 308cd9b2f60bfad85389fdf7d9f48c16927b6fa9 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 15 Jul 2003 16:54:58 +0000 Subject: *** empty log message *** --- test/files/neg/bug38.scala | 11 +++++++++++ test/files/neg/bug40.check | 10 ++++++++++ test/files/neg/bug40.scala | 3 +++ test/files/neg/bug43.check | 4 ++++ test/files/neg/bug43.scala | 1 + test/files/neg/bug44.check | 9 +++++++++ test/files/neg/bug44.scala | 5 +++++ test/files/neg/bug45.check | 6 ++++++ test/files/neg/bug45.scala | 10 ++++++++++ test/files/neg/bug58.check | 4 ++++ test/files/neg/bug58.scala | 4 ++++ test/files/neg/bug72.check | 4 ++++ test/files/neg/bug72.scala | 7 +++++++ 13 files changed, 78 insertions(+) create mode 100644 test/files/neg/bug38.scala create mode 100644 test/files/neg/bug40.check create mode 100644 test/files/neg/bug40.scala create mode 100644 test/files/neg/bug43.check create mode 100644 test/files/neg/bug43.scala create mode 100644 test/files/neg/bug44.check create mode 100644 test/files/neg/bug44.scala create mode 100644 test/files/neg/bug45.check create mode 100644 test/files/neg/bug45.scala create mode 100644 test/files/neg/bug58.check create mode 100644 test/files/neg/bug58.scala create mode 100644 test/files/neg/bug72.check create mode 100644 test/files/neg/bug72.scala (limited to 'test/files') diff --git a/test/files/neg/bug38.scala b/test/files/neg/bug38.scala new file mode 100644 index 0000000000..8f31ad9a0e --- /dev/null +++ b/test/files/neg/bug38.scala @@ -0,0 +1,11 @@ +object testElem { + + import scala.xml.* ; // does not work + //import scala.xml.Element ; //works + + def main( args:Array[String] ) = { + val foo = new Element { def getName = "hallo"; def getChildren = Nil; def getAttribs = new HashMap[String,String] }; + () + } + +} diff --git a/test/files/neg/bug40.check b/test/files/neg/bug40.check new file mode 100644 index 0000000000..fd46531832 --- /dev/null +++ b/test/files/neg/bug40.check @@ -0,0 +1,10 @@ +bug40.scala:2: 'val' expected but integer literal found. + val v = for (1 == 0) yield 1; + ^ +bug40.scala:3: illegal start of pattern +} +^ +bug40.scala:2: '<-' expected but '}' found. + val v = for (1 == 0) yield 1; + ^ +three errors found diff --git a/test/files/neg/bug40.scala b/test/files/neg/bug40.scala new file mode 100644 index 0000000000..a60a12531d --- /dev/null +++ b/test/files/neg/bug40.scala @@ -0,0 +1,3 @@ +object M { + val v = for (1 == 0) yield 1; +} diff --git a/test/files/neg/bug43.check b/test/files/neg/bug43.check new file mode 100644 index 0000000000..ffc0e8c0a2 --- /dev/null +++ b/test/files/neg/bug43.check @@ -0,0 +1,4 @@ +bug43.scala:1: class C takes type parameters. +case class C[A >: C](x: A) {} + ^ +one error found diff --git a/test/files/neg/bug43.scala b/test/files/neg/bug43.scala new file mode 100644 index 0000000000..013a74cc97 --- /dev/null +++ b/test/files/neg/bug43.scala @@ -0,0 +1 @@ +case class C[A >: C](x: A) {} diff --git a/test/files/neg/bug44.check b/test/files/neg/bug44.check new file mode 100644 index 0000000000..6b8609f41d --- /dev/null +++ b/test/files/neg/bug44.check @@ -0,0 +1,9 @@ +bug44.scala:2: method t overrides nothing + var x: Object { def t: Int; } = new Object() { + ^ +bug44.scala:2: type mismatch; + found : scala.Object + required: scala.Object { def t: scala.Int } + var x: Object { def t: Int; } = new Object() { + ^ +two errors found diff --git a/test/files/neg/bug44.scala b/test/files/neg/bug44.scala new file mode 100644 index 0000000000..7989838250 --- /dev/null +++ b/test/files/neg/bug44.scala @@ -0,0 +1,5 @@ +abstract class C { + var x: Object { def t: Int; } = new Object() { + def t: Int = 1; + } +} diff --git a/test/files/neg/bug45.check b/test/files/neg/bug45.check new file mode 100644 index 0000000000..530bd78c42 --- /dev/null +++ b/test/files/neg/bug45.check @@ -0,0 +1,6 @@ +bug45.scala:4: type mismatch; + found : scala.AllRef + required: Int + def foo[Int](x: Int): Int = null; + ^ +one error found diff --git a/test/files/neg/bug45.scala b/test/files/neg/bug45.scala new file mode 100644 index 0000000000..8e5e55c274 --- /dev/null +++ b/test/files/neg/bug45.scala @@ -0,0 +1,10 @@ +object Main { + + def main(args: Array[String]) = { + def foo[Int](x: Int): Int = null; + val y1 = null; + val y2 = foo(2); + () + } + +} diff --git a/test/files/neg/bug58.check b/test/files/neg/bug58.check new file mode 100644 index 0000000000..1872ecd0d9 --- /dev/null +++ b/test/files/neg/bug58.check @@ -0,0 +1,4 @@ +bug58.scala:1: type x.type escapes its defining scope as part of x.C +class A(x: B) extends x.C {} + ^ +one error found diff --git a/test/files/neg/bug58.scala b/test/files/neg/bug58.scala new file mode 100644 index 0000000000..d7b5d431bb --- /dev/null +++ b/test/files/neg/bug58.scala @@ -0,0 +1,4 @@ +class A(x: B) extends x.C {} +class B { + class C {} +} diff --git a/test/files/neg/bug72.check b/test/files/neg/bug72.check new file mode 100644 index 0000000000..3deb871cbb --- /dev/null +++ b/test/files/neg/bug72.check @@ -0,0 +1,4 @@ +bug72.scala:5: not found: value Set + val weekDays : Set[String] = Set("Mon", "Tue", "Wed", "Thu", "Fri"); + ^ +one error found diff --git a/test/files/neg/bug72.scala b/test/files/neg/bug72.scala new file mode 100644 index 0000000000..94d0b97e2b --- /dev/null +++ b/test/files/neg/bug72.scala @@ -0,0 +1,7 @@ +import scala.collection.mutable._; + +object Composites { + def main(args: Array[String]) = { + val weekDays : Set[String] = Set("Mon", "Tue", "Wed", "Thu", "Fri"); + } +} -- cgit v1.2.3