From a0160f773f5bdfce097d8600694791bf1a713433 Mon Sep 17 00:00:00 2001 From: "Frank S. Thomas" Date: Tue, 26 Jul 2016 05:38:19 +0200 Subject: [PATCH] wip --- .../main/scala/eu/timepit/refined/scalacheck/package.scala | 2 +- .../main/scala/eu/timepit/refined/macros/RefineMacro.scala | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/contrib/scalacheck/shared/src/main/scala/eu/timepit/refined/scalacheck/package.scala b/contrib/scalacheck/shared/src/main/scala/eu/timepit/refined/scalacheck/package.scala index 9f5998a8a..34845582a 100644 --- a/contrib/scalacheck/shared/src/main/scala/eu/timepit/refined/scalacheck/package.scala +++ b/contrib/scalacheck/shared/src/main/scala/eu/timepit/refined/scalacheck/package.scala @@ -8,7 +8,7 @@ package object scalacheck { def arbitraryRefType[F[_, _], T, P](gen: Gen[T])(implicit rt: RefType[F]): Arbitrary[F[T, P]] = Arbitrary(gen.map(rt.unsafeWrap)) - @deprecated("", "") + @deprecated("", "0.6.0") def checkArbitraryRefType[F[_, _], T, P](implicit arb: Arbitrary[F[T, P]], rt: RefType[F], v: Validate[T, P]): Prop = Prop.forAll((tp: F[T, P]) => v.isValid(rt.unwrap(tp))) diff --git a/core/shared/src/main/scala/eu/timepit/refined/macros/RefineMacro.scala b/core/shared/src/main/scala/eu/timepit/refined/macros/RefineMacro.scala index c5972d997..493039884 100644 --- a/core/shared/src/main/scala/eu/timepit/refined/macros/RefineMacro.scala +++ b/core/shared/src/main/scala/eu/timepit/refined/macros/RefineMacro.scala @@ -27,13 +27,13 @@ class RefineMacro(val c: blackbox.Context) extends MacroUtils { c.Expr[FTP](refinedType.refType.unsafeWrapM[T, P](c)(t).tree) } - @deprecated("", "") + @deprecated("", "0.6.0") def impl[F[_, _], T: c.WeakTypeTag, P: c.WeakTypeTag](t: c.Expr[T])( rt: c.Expr[RefType[F]], v: c.Expr[Validate[T, P]] ): c.Expr[F[T, P]] = refineImpl[F[T, P], T, P](t)(reify(api.RefinedType.instance(rt.splice, v.splice))) - @deprecated("", "") + @deprecated("", "0.6.0") def implApplyRef[FTP, F[_, _], T, P](t: c.Expr[T])( ev: c.Expr[F[T, P] =:= FTP], rt: c.Expr[RefType[F]], v: c.Expr[Validate[T, P]] ): c.Expr[FTP] =