From 5656170f7cf3251ba26eaea55939e951813a154b Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Fri, 22 Sep 2006 16:38:22 +0000 Subject: simplified printing of refinement types -- no m... simplified printing of refinement types -- no more override flags adapted two check files in tests --- test/files/neg/abstract.check | 6 ++++-- test/files/neg/bug415.check | 3 ++- 2 files changed, 6 insertions(+), 3 deletions(-) (limited to 'test/files/neg') diff --git a/test/files/neg/abstract.check b/test/files/neg/abstract.check index 1f888dcceb..87fb66f946 100644 --- a/test/files/neg/abstract.check +++ b/test/files/neg/abstract.check @@ -1,7 +1,9 @@ -abstract.scala:5 error: malformed type: A.this.T#T +abstract.scala:5 error: method bar cannot be accessed in A.this.T + because its instance type ()A.this.T#T contains a malformed type: A.this.T#T def foo1 = bar().bar(); ^ -abstract.scala:7 error: malformed type: A#T +abstract.scala:7 error: method bar cannot be accessed in A + because its instance type ()A#T contains a malformed type: A#T def foo3 = baz().bar(); ^ two errors found diff --git a/test/files/neg/bug415.check b/test/files/neg/bug415.check index 7a7c5cf4f5..c6c9805aa6 100644 --- a/test/files/neg/bug415.check +++ b/test/files/neg/bug415.check @@ -1,4 +1,5 @@ -bug415.scala:8 error: malformed type: A#T +bug415.scala:8 error: method x cannot be accessed in A + because its instance type => A#T contains a malformed type: A#T val y: String = a.x; ^ one error found -- cgit v1.2.3