From fa4aaf9bcb71fa931d60199d747470f8e17aaeb5 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Wed, 30 May 2007 07:10:09 +0000 Subject: added regression tests for bugs 1106 and 1136 --- test/files/neg/bug1106.check | 7 +++++++ test/files/neg/bug1106.scala | 5 +++++ test/files/pos/bug1136.check | 2 ++ test/files/pos/bug1136.scala | 8 ++++++++ 4 files changed, 22 insertions(+) create mode 100644 test/files/neg/bug1106.check create mode 100644 test/files/neg/bug1106.scala create mode 100644 test/files/pos/bug1136.check create mode 100644 test/files/pos/bug1136.scala (limited to 'test') diff --git a/test/files/neg/bug1106.check b/test/files/neg/bug1106.check new file mode 100644 index 0000000000..3fa595abf1 --- /dev/null +++ b/test/files/neg/bug1106.check @@ -0,0 +1,7 @@ +bug1106.scala:2: error: expected class or object definition +val p = new Par[String] +^ +bug1106.scala:5: error: expected class or object definition +new Foo[p.type](p) // crashes compiler +^ +two errors found diff --git a/test/files/neg/bug1106.scala b/test/files/neg/bug1106.scala new file mode 100644 index 0000000000..36b5a0ec8f --- /dev/null +++ b/test/files/neg/bug1106.scala @@ -0,0 +1,5 @@ +class Par[S] +val p = new Par[String] +class Foo[T[x]<:Par[x]](t: T[String]) + +new Foo[p.type](p) // crashes compiler \ No newline at end of file diff --git a/test/files/pos/bug1136.check b/test/files/pos/bug1136.check new file mode 100644 index 0000000000..0747cddefb --- /dev/null +++ b/test/files/pos/bug1136.check @@ -0,0 +1,2 @@ +warning: there were unchecked warnings; re-run with -unchecked for details +one warning found diff --git a/test/files/pos/bug1136.scala b/test/files/pos/bug1136.scala new file mode 100644 index 0000000000..fcceaf5473 --- /dev/null +++ b/test/files/pos/bug1136.scala @@ -0,0 +1,8 @@ +object test { + def foo(s: Int*): Unit = { + s.toList match { + case t: List[Int] => foo(t: _*) + case _ => + } + } +} -- cgit v1.2.3