沒有找到對象道具，scalacheck

Question

我正在追蹤完全相同的說明： http://lamp.epfl.ch/files/content/sites/lamp/files/teaching/progfun/ScalacheckTutorial.html

到scalacheck jar添加到斯卡拉-IDE，但IDE是給我這樣的：「對象PROP找不到」時進口

import org.scalacheck._ 
import Prop.forAll 

的Scala的IDE版本：4.4.0
操作系統版本：Mac OSX上埃爾卡皮坦10.11.6
階版本：2.11.8
Java版本：1.8.0_45
scalacheck：2.11.1-1.12.5來源

Answer 1

您需要添加完全包名import org.scalacheck.Prop