From 538e22b80c657dcc3326959a8601cd0a0da78e37 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 25 Jul 2007 15:27:04 +0000 Subject: fixed bugs 1237, 1241 --- test/files/neg/bug1224.check | 2 +- test/files/neg/bug1241.check | 4 ++++ test/files/neg/bug1241.scala | 8 ++++++++ 3 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 test/files/neg/bug1241.check create mode 100644 test/files/neg/bug1241.scala (limited to 'test/files/neg') 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.. +} -- cgit v1.2.3