diff options
author | Martin Odersky <odersky@gmail.com> | 2006-05-11 14:15:01 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-05-11 14:15:01 +0000 |
commit | 88a1448f33fbd271eefe9c155015a5c31eb223bc (patch) | |
tree | 9cb58ada7d969a754377b24b760484e6ba624d1f /test | |
parent | 6ce297f44c96ff884537ae00ebfeb235f267a2dd (diff) | |
download | scala-88a1448f33fbd271eefe9c155015a5c31eb223bc.tar.gz scala-88a1448f33fbd271eefe9c155015a5c31eb223bc.tar.bz2 scala-88a1448f33fbd271eefe9c155015a5c31eb223bc.zip |
Bug fixes
Diffstat (limited to 'test')
-rw-r--r-- | test/files/neg/bug588.check | 8 | ||||
-rwxr-xr-x | test/files/pos/bug439.scala | 4 |
2 files changed, 8 insertions, 4 deletions
diff --git a/test/files/neg/bug588.check b/test/files/neg/bug588.check index 02a9b9c482..2529c23772 100644 --- a/test/files/neg/bug588.check +++ b/test/files/neg/bug588.check @@ -1,13 +1,13 @@ -/home/odersky/scala/test/files/pos/bug588.scala:3 error: double definition: +bug588.scala:3 error: double definition: method visit:((scala.Int) => java.lang.String)scala.Boolean and method visit:((scala.Int) => scala.Unit)scala.Boolean at line 2 have same type after erasure: (scala.Function1)scala.Boolean - def visit(f: int => String): boolean
+ def visit(f: int => String): boolean ^ -/home/odersky/scala/test/files/pos/bug588.scala:10 error: double definition: +bug588.scala:10 error: double definition: method f:(Test.this.TypeB)scala.Unit and method f:(Test.this.TypeA)scala.Unit at line 9 have same type after erasure: (Test#TraitA)scala.Unit - def f(brac : TypeB) : Unit;
+ def f(brac : TypeB) : Unit; ^ two errors found diff --git a/test/files/pos/bug439.scala b/test/files/pos/bug439.scala new file mode 100755 index 0000000000..f3191c72fa --- /dev/null +++ b/test/files/pos/bug439.scala @@ -0,0 +1,4 @@ +object test { + abstract class Foo; + object o extends Foo +} |