From 466db7220a4325c84d43cc55c517d0cb8240310d Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Thu, 16 Nov 2006 14:22:08 +0000 Subject: fixed bug798, 800 --- test/files/neg/bug798.check | 4 ++++ test/files/neg/bug798.scala | 9 +++++++++ test/files/neg/bug800.check | 13 +++++++++++++ test/files/neg/bug800.scala | 17 +++++++++++++++++ 4 files changed, 43 insertions(+) create mode 100644 test/files/neg/bug798.check create mode 100644 test/files/neg/bug798.scala create mode 100644 test/files/neg/bug800.check create mode 100644 test/files/neg/bug800.scala (limited to 'test/files/neg') diff --git a/test/files/neg/bug798.check b/test/files/neg/bug798.check new file mode 100644 index 0000000000..6fd80bcba5 --- /dev/null +++ b/test/files/neg/bug798.check @@ -0,0 +1,4 @@ +bug798.scala:5 error: cyclic aliasing or subtyping involving type Bracks + type Bracks <: Bracks + ^ +one error found diff --git a/test/files/neg/bug798.scala b/test/files/neg/bug798.scala new file mode 100644 index 0000000000..9d95ae2ddb --- /dev/null +++ b/test/files/neg/bug798.scala @@ -0,0 +1,9 @@ +package test; +trait Test { + def f(list : Any) = null; + class C[T] + type Bracks <: Bracks + val bracks : Bracks; + val singletons = f(bracks); + +} diff --git a/test/files/neg/bug800.check b/test/files/neg/bug800.check new file mode 100644 index 0000000000..eae84677c9 --- /dev/null +++ b/test/files/neg/bug800.check @@ -0,0 +1,13 @@ +bug800.scala:4 error: qualification is already defined as value qualification + val qualification = false; + ^ +bug800.scala:8 error: method qualification is defined twice + val qualification = false; + ^ +bug800.scala:12 error: value qualification is defined twice + var qualification = false; + ^ +bug800.scala:16 error: method qualification is defined twice + var qualification = false; + ^ +four errors found diff --git a/test/files/neg/bug800.scala b/test/files/neg/bug800.scala new file mode 100644 index 0000000000..388574d42d --- /dev/null +++ b/test/files/neg/bug800.scala @@ -0,0 +1,17 @@ +package test; +trait Test1 { + val qualification : String; + val qualification = false; +} +trait Test2 { + var qualification : String; + val qualification = false; +} +trait Test3 { + val qualification : String; + var qualification = false; +} +trait Test4 { + var qualification : String; + var qualification = false; +} -- cgit v1.2.3