aboutsummaryrefslogtreecommitdiff
path: root/core
diff options
context:
space:
mode:
authorJon Pretty <jon.pretty@propensive.com>2017-11-10 14:57:55 +0000
committerJon Pretty <jon.pretty@propensive.com>2017-11-10 14:57:55 +0000
commita19b4d22b4caffbed551182b20657588b470230b (patch)
tree7a35fcdc604794650196479f973828771725ee71 /core
parent657d2fb2c16b75c790bf3c3a63d1f830a42893db (diff)
downloadmagnolia-a19b4d22b4caffbed551182b20657588b470230b.tar.gz
magnolia-a19b4d22b4caffbed551182b20657588b470230b.tar.bz2
magnolia-a19b4d22b4caffbed551182b20657588b470230b.zip
Attempt to allow the `Typeclass` definition to be defined in supertrait
Diffstat (limited to 'core')
-rw-r--r--core/src/main/scala/magnolia.scala12
1 files changed, 10 insertions, 2 deletions
diff --git a/core/src/main/scala/magnolia.scala b/core/src/main/scala/magnolia.scala
index 293d0f1..f7e9b0e 100644
--- a/core/src/main/scala/magnolia.scala
+++ b/core/src/main/scala/magnolia.scala
@@ -71,8 +71,16 @@ object Magnolia {
val magnoliaObj = q"$magnoliaPkg.Magnolia"
val arrayCls = tq"_root_.scala.Array"
- val typeConstructor: c.Type =
- c.prefix.tree.tpe.member(TypeName("Typeclass")).asType.toType.typeConstructor
+ val typeDefinitions =
+ c.prefix.tree.tpe.baseClasses.flatMap(_.asType.toType.decls).filter(_.isType)
+
+ val typeConstructorOpt =
+ typeDefinitions.find(_.name.toString == "Typeclass").map(_.asType.toType.typeConstructor)
+
+ val typeConstructor = typeConstructorOpt.getOrElse {
+ c.abort(c.enclosingPosition, "magnolia: the derivation object does not define the Typeclass "+
+ "type constructor")
+ }
def findType(key: Type): Option[TermName] =
recursionStack(c.enclosingPosition).frames.find(_.genericType == key).map(_.termName(c))