diff options
author | paltherr <paltherr@epfl.ch> | 2004-03-24 11:46:46 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2004-03-24 11:46:46 +0000 |
commit | 95749d947ceb65bb0b49c487d11cd77bb2e1f4af (patch) | |
tree | 35f185060f02ca46c4cb9a2b65c3b0123c54ba56 /test | |
parent | e54a33c950e11979bfba67f449467a08ab5c0377 (diff) | |
download | scala-95749d947ceb65bb0b49c487d11cd77bb2e1f4af.tar.gz scala-95749d947ceb65bb0b49c487d11cd77bb2e1f4af.tar.bz2 scala-95749d947ceb65bb0b49c487d11cd77bb2e1f4af.zip |
- Added test/files/neg/bugs*
Diffstat (limited to 'test')
-rw-r--r-- | test/files/neg/bugs.check | 6 | ||||
-rw-r--r-- | test/files/neg/bugs.scala | 18 |
2 files changed, 24 insertions, 0 deletions
diff --git a/test/files/neg/bugs.check b/test/files/neg/bugs.check new file mode 100644 index 0000000000..d597a199f5 --- /dev/null +++ b/test/files/neg/bugs.check @@ -0,0 +1,6 @@ +bugs.scala:11: overlapping overloaded alternatives; the two following alternatives of method p have the same erasure: ((Tuple2[Boolean,Boolean]) => Boolean)int + alternative 1: def p((scala.Tuple2[scala.Boolean,scala.Boolean]) => scala.Boolean): scala.Int(1) + alternative 2: def p((scala.List[scala.Any]) => scala.Boolean): scala.Int(2) + def p(f:List[Any] => Boolean) = 2; + ^ +one error found diff --git a/test/files/neg/bugs.scala b/test/files/neg/bugs.scala new file mode 100644 index 0000000000..b41de26ea4 --- /dev/null +++ b/test/files/neg/bugs.scala @@ -0,0 +1,18 @@ +//############################################################################ +// Bugs +//############################################################################ +// $Id$ + +//############################################################################ +// Bug 271 + +object Bug271P { + def p(f:Tuple2[Boolean,Boolean] => Boolean) = 1; + def p(f:List[Any] => Boolean) = 2; +} + +object Bug271Test with Application { + Console.println(Bug271P.p((x:List[Any])=>true)); +} + +//############################################################################ |