Merge pull request #332 from fthomas/topic/avoid-eval-for-reftype

Do not use eval for known RefType instances

modules/core/shared/src/main/scala/eu/timepit/refined/macros/RefineMacro.scala

@@ -1,10 +1,11 @@
 package eu.timepit.refined
 package macros
 
-import eu.timepit.refined.api.{RefType, Validate}
+import eu.timepit.refined.api.{Refined, RefType, Validate}
 import eu.timepit.refined.internal.Resources
 import macrocompat.bundle
 import scala.reflect.macros.blackbox
+import shapeless.tag.@@
 
 @bundle
 class RefineMacro(val c: blackbox.Context) extends MacroUtils {
@@ -26,8 +27,7 @@ class RefineMacro(val c: blackbox.Context) extends MacroUtils {
       abort(validate.showResult(tValue, res))
     }
 
-    val refType = eval(rt)
-    refType.unsafeWrapM(c)(t)
+    refTypeObj(rt).unsafeWrapM(c)(t)
   }
 
   def implApplyRef[FTP, F[_, _], T, P](t: c.Expr[T])(
@@ -36,4 +36,12 @@ class RefineMacro(val c: blackbox.Context) extends MacroUtils {
       v: c.Expr[Validate[T, P]]
   ): c.Expr[FTP] =
     c.Expr(impl(t)(rt, v).tree)
+
+  private def refTypeObj[F[_, _]](rt: c.Expr[RefType[F]]): RefType[F] =
+    if (rt.tree.tpe =:= weakTypeOf[RefType[Refined]])
+      RefType[Refined].asInstanceOf[RefType[F]]
+    else if (rt.tree.tpe =:= weakTypeOf[RefType[@@]])
+      RefType[@@].asInstanceOf[RefType[F]]
+    else
+      eval(rt)
 }

notes/0.8.4.markdown

@@ -0,0 +1,8 @@
+### Improvements
+
+* Avoid calling `eval` in the refine macro for known `RefType` instances.
+  This reduces compilation times by roughly 26% for all compile-time
+  refinements.
+  ([#332][#332])
+
+[#332]: https://github.com/fthomas/refined/pull/332