Path-dependent types turn into type projections about squid HOT 4 CLOSED

Sorry, I should have pointed you to this Squid feature list from the start. There is expressly no support for path-dependent types in Squid.

I am wondering why you need to embed type tags in the DSL code fragments, though. What is the use case?

from squid.

Oh, OK.

We need this because most Flink/Spark methods require TypeTag/ClassTag. So after lowering to Flink/Spark, we have TypeTag everywhere.

from squid.

Ugh... that's a bit annoying.

Note that ClassTag should [EDIT: typo] not be problematic. As for TypeTag, it's actually problematic because scala.reflect.runtime.universe is not a module but a simple val, defined as:

lazy val universe: api.JavaUniverse = new runtime.JavaUniverse

One workaround would be to define your own module universe as:

object universe extends runtime.JavaUniverse

...though that would not help if you want to use definitions you can't change such as the Spark ones.
Maybe then, it would be sufficient to declare an implicit conversion from scala.reflect.api.JavaUniverse#TypeTag[T] to reflect.runtime.universe.TypeTag[T], implemented as a cast?

EDIT: I'm wondering what kind of code it generates to actually create the type tags – code that would also need to be embedded. Is it some intricate stuff with local classes? Or do you remove these implicits as alluded in #55?

from squid.

I made a typo in the message above: class tags are not problematic; they embed well. For example:

scala> import squid.TestDSL.Predef._
import squid.TestDSL.Predef._

scala> code"scala.reflect.classTag[String]"
res0: squid.TestDSL.ClosedCode[scala.reflect.ClassTag[String]] = code"scala.reflect.`package`.classTag[java.lang.String](scala.reflect.ClassTag.apply[java.lang.String](_root_.scala.Predef.classOf[String]))"

from squid.