diff --git a/build.sbt b/build.sbt index 10da55ba9..dc30fdda4 100644 --- a/build.sbt +++ b/build.sbt @@ -6,9 +6,11 @@ organization := "eu.timepit" homepage := Some(url("https://github.com/fthomas/refined")) startYear := Some(2015) licenses += "MIT" -> url("http://opensource.org/licenses/MIT") + +val gitRepo = "git@github.com:fthomas/refined.git" scmInfo := Some(ScmInfo(homepage.value.get, "scm:git:https://github.com/fthomas/refined.git", - Some("scm:git:" + git.remoteRepo.value))) + Some(s"scm:git:$gitRepo"))) scalaVersion := "2.11.6" scalacOptions ++= Seq( @@ -72,7 +74,7 @@ pomExtra := // site settings -site.settings -site.includeScaladoc() +//site.settings +//site.includeScaladoc() //ghpages.settings -git.remoteRepo := "git@github.com:fthomas/refined.git" +//git.remoteRepo := gitRepo diff --git a/project/plugin-site.sbt b/project/plugin-site.sbt index 9a94578c3..5bfabd807 100644 --- a/project/plugin-site.sbt +++ b/project/plugin-site.sbt @@ -1 +1 @@ -addSbtPlugin("com.typesafe.sbt" % "sbt-site" % "0.8.1") +//addSbtPlugin("com.typesafe.sbt" % "sbt-site" % "0.8.1") diff --git a/src/test/scala/eu/timepit/refined/CollectionSpec.scala b/src/test/scala/eu/timepit/refined/CollectionSpec.scala index f19248165..f4904bb94 100644 --- a/src/test/scala/eu/timepit/refined/CollectionSpec.scala +++ b/src/test/scala/eu/timepit/refined/CollectionSpec.scala @@ -10,4 +10,8 @@ class CollectionSpec extends Properties("collection") { property("Exists[Equal[_]]") = forAll { (l: List[Int]) => Predicate[Exists[Equal[_1]], List[Int]].isValid(l) == l.contains(1) } + + property("Size[Greater[_]]") = forAll { (l: List[Int]) => + Predicate[Size[Greater[_5]], List[Int]].isValid(l) == (l.size > 5) + } }