summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/files/neg/bug1224.check2
-rw-r--r--test/files/neg/bug1241.check4
-rw-r--r--test/files/neg/bug1241.scala8
-rw-r--r--test/files/pos/bug1237.scala15
4 files changed, 28 insertions, 1 deletions
diff --git a/test/files/neg/bug1224.check b/test/files/neg/bug1224.check
index 98babb0489..515f823e50 100644
--- a/test/files/neg/bug1224.check
+++ b/test/files/neg/bug1224.check
@@ -1,4 +1,4 @@
bug1224.scala:4: error: illegal cyclic reference involving type T
- type T >: C[T] <: C[C[T]]
+ type T >: C[T] <: C[C[T]]
^
one error found
diff --git a/test/files/neg/bug1241.check b/test/files/neg/bug1241.check
new file mode 100644
index 0000000000..79271f56be
--- /dev/null
+++ b/test/files/neg/bug1241.check
@@ -0,0 +1,4 @@
+bug1241.scala:5: error: AnyRef{def hello(): Unit} does not have a constructor
+ val x4 = new T { def hello() { println("4") } } // error!
+ ^
+one error found
diff --git a/test/files/neg/bug1241.scala b/test/files/neg/bug1241.scala
new file mode 100644
index 0000000000..68a2c963c4
--- /dev/null
+++ b/test/files/neg/bug1241.scala
@@ -0,0 +1,8 @@
+object test extends Application {
+ // more..
+ type T = { def hello() }
+ //val x4 = new AnyRef { def hello() { println("4") } } // ok!
+ val x4 = new T { def hello() { println("4") } } // error!
+ x4.hello()
+ // more..
+}
diff --git a/test/files/pos/bug1237.scala b/test/files/pos/bug1237.scala
new file mode 100644
index 0000000000..01f656f580
--- /dev/null
+++ b/test/files/pos/bug1237.scala
@@ -0,0 +1,15 @@
+class HelloWorld {
+ def main(args: Array[String]) {
+
+ object TypeBool;
+
+ trait Fct
+ {
+ def g(x : int) = TypeBool // breaks.
+
+ // def g(x : int) = 3 // fine.
+ }
+
+ ()
+ }
+}