我怎样才能编译这个?List[Int] 是否有隐式生成器,如何将它们纳入范围?我认为import org.scalacheck.Arbitrary._
应该足够了,但事实并非如此。
package foo
import org.scalatest.junit.JUnitSuite
import org.scalatest.prop.Checkers
import org.scalacheck._
import org.junit.Test
class TestFoo extends JUnitSuite with Checkers {
@Test
def foo : Unit = {
def revtest(l: List[Integer]) : Boolean = l.reverse.reverse==l
check(revtest _) //could not find implicit value for parameter a1: org.scalacheck.Arbitrary[List[Integer]]
}
}