diff options
author | Martin Odersky <odersky@gmail.com> | 2006-10-20 16:51:16 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-10-20 16:51:16 +0000 |
commit | 0e0a4aa44639140c4131140ade5c3c80417cab7c (patch) | |
tree | 1499cf7b5fc1f85ae19a7e7fe1c501948a77195f /test/files | |
parent | 42744ffda0a05b28deadb41ec92342d874af652f (diff) | |
download | scala-0e0a4aa44639140c4131140ade5c3c80417cab7c.tar.gz scala-0e0a4aa44639140c4131140ade5c3c80417cab7c.tar.bz2 scala-0e0a4aa44639140c4131140ade5c3c80417cab7c.zip |
updated check files for tests
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/neg/abstract.check | 10 | ||||
-rw-r--r-- | test/files/neg/escapes.check | 3 |
2 files changed, 10 insertions, 3 deletions
diff --git a/test/files/neg/abstract.check b/test/files/neg/abstract.check index 86fded0fce..a64a5da85f 100644 --- a/test/files/neg/abstract.check +++ b/test/files/neg/abstract.check @@ -1,11 +1,19 @@ +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: A = bar().bar(); + ^ abstract.scala:6 error: type mismatch; found : A required: A.this.T def foo2: T = bar().baz(); ^ +abstract.scala:8 error: method bar cannot be accessed in A + because its instance type ()A#T contains a malformed type: A#T + def foo4: A = baz().bar(); + ^ abstract.scala:9 error: type mismatch; found : A required: A.this.T def foo5: T = baz().baz(); ^ -two errors found +four errors found diff --git a/test/files/neg/escapes.check b/test/files/neg/escapes.check index 95299a4c75..3f1f32909c 100644 --- a/test/files/neg/escapes.check +++ b/test/files/neg/escapes.check @@ -1,5 +1,4 @@ escapes.scala:2 error: type t escapes its defining scope as part of type t - def f(x: Any) = x match { case y: Cell[t] => y.elem }
+ def f(x: Any) = x match { case y: Cell[t] => y.elem } ^ -subst type t to T one error found |