search

Muki-SkyWalker / specs

Automatically exported from code.google.com/p/specs
Other
0 stars 0 forks source link

verifies is broken for arities > 2 #180

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
An example like this:

"startsWith" verifies { (a: String, b: String, c: String) => 
(a+b+c).startsWith(a) }

fails compiling with this very strange error message:

[error]  ambiguous implicit values:
[error]  both value successValueToProp in trait ScalaCheckMatchers of type => 
(org.specs.specification.SuccessValue) => org.scalacheck.Prop
[error]  and method conforms in object Predef of type [A]<:<[A,A]
[error]  match expected type (Nothing) => org.scalacheck.Prop
[error]   "test" verifies { (a: String, b: String, c: String) => 
(a+b+c).startsWith(a) }
[error]          ^
[error] one error found

What version of the product are you using? On what operating system?
Scala 2.8.1, specs 1.6.7

I'm trying to get some clue what is happening there.

Original issue reported on code.google.com by johannes...@googlemail.com on 25 Mar 2011 at 9:53

GoogleCodeExporter commented 9 years ago 
This is working for me in 1.6.8 now.

Original comment by etorrebo...@gmail.com on 26 Aug 2011 at 9:26