diff options
author | Martin Odersky <odersky@gmail.com> | 2006-03-20 12:03:12 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-03-20 12:03:12 +0000 |
commit | 5459db1226b86027e0817acb0a2f41e0c12b28ed (patch) | |
tree | 2662cea2c40283eadcdccb5d53d58f769a825601 /test/files/neg | |
parent | 4ddf81c21818dadb435a4a43b91ae69688d8bc1d (diff) | |
download | scala-5459db1226b86027e0817acb0a2f41e0c12b28ed.tar.gz scala-5459db1226b86027e0817acb0a2f41e0c12b28ed.tar.bz2 scala-5459db1226b86027e0817acb0a2f41e0c12b28ed.zip |
1.
2. Changed method compareTo in class Ordered
to compare.
3. Moved retsynch to pending
4. Fixed bug 550
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/bug550.check | 10 | ||||
-rwxr-xr-x | test/files/neg/bug550.scala | 9 |
2 files changed, 19 insertions, 0 deletions
diff --git a/test/files/neg/bug550.check b/test/files/neg/bug550.check new file mode 100644 index 0000000000..becafc8768 --- /dev/null +++ b/test/files/neg/bug550.check @@ -0,0 +1,10 @@ +bug550.scala:6 error: class List takes type parameters + def sum[a](xs: List)(implicit m: Monoid[a]): a =
+ ^ +bug550.scala:6 error: class List takes type parameters + def sum[a](xs: List)(implicit m: Monoid[a]): a =
+ ^ +bug550.scala:8 error: no implicit argument matching parameter type Monoid[scala.All] was found. + sum(List(1,2,3))
+ ^ +three errors found diff --git a/test/files/neg/bug550.scala b/test/files/neg/bug550.scala new file mode 100755 index 0000000000..5212a2658d --- /dev/null +++ b/test/files/neg/bug550.scala @@ -0,0 +1,9 @@ +abstract class Monoid[a] { + def unit: a +} + +object test { + def sum[a](xs: List)(implicit m: Monoid[a]): a = + if (xs.isEmpty) m.unit else xs.head + sum(List(1,2,3)) +} |