diff options
| author | Martin Odersky <odersky@gmail.com> | 2006-05-08 16:34:57 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2006-05-08 16:34:57 +0000 |
| commit | 00afa24fb6f2621e02e6ecd8ef86db56dd3913b5 (patch) | |
| tree | f0240f5daed36699de1e928c780fb16744dbc22a /test/files/neg/bug588.check | |
| parent | ff1c68655acee7faf1227337ce444d2d08ca2a9a (diff) | |
| download | scala-00afa24fb6f2621e02e6ecd8ef86db56dd3913b5.tar.gz scala-00afa24fb6f2621e02e6ecd8ef86db56dd3913b5.tar.bz2 scala-00afa24fb6f2621e02e6ecd8ef86db56dd3913b5.zip | |
Bug fixes
Diffstat (limited to 'test/files/neg/bug588.check')
| -rw-r--r-- | test/files/neg/bug588.check | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/files/neg/bug588.check b/test/files/neg/bug588.check new file mode 100644 index 0000000000..02a9b9c482 --- /dev/null +++ b/test/files/neg/bug588.check @@ -0,0 +1,13 @@ +/home/odersky/scala/test/files/pos/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
+ ^ +/home/odersky/scala/test/files/pos/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;
+ ^ +two errors found |