add sources

Author: xuwei-k

.github/workflows/ci.yml

@@ -0,0 +1,15 @@
+name: ci
+on:
+  push:
+  pull_request:
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    timeout-minutes: 10
+    steps:
+    - uses: actions/checkout@v3
+    - uses: actions/setup-java@v3
+      with:
+        java-version: 8
+        distribution: 'adopt'
+    - run: sbt "+ run"

LICENSE

@@ -0,0 +1,24 @@
+This is free and unencumbered software released into the public domain.
+
+Anyone is free to copy, modify, publish, use, compile, sell, or
+distribute this software, either in source code form or as a compiled
+binary, for any purpose, commercial or non-commercial, and by any
+means.
+
+In jurisdictions that recognize copyright laws, the author or authors
+of this software dedicate any and all copyright interest in the
+software to the public domain. We make this dedication for the benefit
+of the public at large and to the detriment of our heirs and
+successors. We intend this dedication to be an overt act of
+relinquishment in perpetuity of all present and future rights to this
+software under copyright law.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
+IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR
+OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
+ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
+OTHER DEALINGS IN THE SOFTWARE.
+
+For more information, please refer to <https://unlicense.org>

README.md

@@ -0,0 +1,4 @@
+# Scala asSeenFrom
+
+- https://github.com/scala/scala/blob/18ce8d410b57f30f4161896b49b03d2d3e7b0401/src/reflect/scala/reflect/api/Types.scala#L246
+- https://github.com/lampepfl/dotty/blob/53f5531e7e31eca02b3db158c8c384e713b4542a/compiler/src/dotty/tools/dotc/core/TypeOps.scala#L30

build.sbt

@@ -0,0 +1,23 @@
+def Scala3 = "3.1.3-RC2"
+
+run / fork := true
+
+scalaVersion := Scala3
+
+crossScalaVersions := Seq("2.13.8", Scala3)
+
+scalacOptions ++= {
+  if (scalaBinaryVersion.value == "3") {
+    Nil
+  } else {
+    Seq("-Xsource:3")
+  }
+}
+
+libraryDependencies += {
+  if (scalaBinaryVersion.value == "3") {
+    "org.scala-lang" %% "scala3-tasty-inspector" % scalaVersion.value
+  } else {
+    "org.scala-lang" % "scala-reflect" % scalaVersion.value
+  }
+}

project/build.properties

@@ -0,0 +1 @@
+sbt.version=1.6.2

src/main/scala-2/Main.scala

@@ -0,0 +1,15 @@
+package example
+
+import scala.reflect.runtime.universe._
+
+object Main {
+  def main(args: Array[String]): Unit = {
+    val c = rootMirror.staticClass("example.C")
+    val x = c.info.member(TermName("x")).asMethod
+    val Apply(Select(New(t), _), Literal(Constant(arg: Type)) :: Nil) = x.annotations.head.tree
+    val a = rootMirror.staticClass("example.A")
+    val result = arg.asSeenFrom(typeOf[C], a)
+    println(result)
+    assert(result =:= typeOf[D[Int]])
+  }
+}

src/main/scala-3/Main.scala

@@ -0,0 +1,82 @@
+package example
+
+import java.io.File
+import scala.quoted.Quotes
+import scala.tasty.inspector.Inspector
+import scala.tasty.inspector.Tasty
+import scala.tasty.inspector.TastyInspector
+import dotty.tools.dotc.core.Contexts.Context
+import dotty.tools.dotc.core.Symbols.{Symbol => DottySymbol}
+import dotty.tools.dotc.core.Types.{Type => DottyType}
+import dotty.tools.dotc.core.TypeOps.asSeenFrom
+
+object Main {
+
+  @annotation.experimental // typeRef is experimental
+  def main(args: Array[String]): Unit = withQuotes {
+    val q: Quotes = summon[Quotes]
+    import q.reflect._
+
+    extension (self: TypeRepr) {
+      def asDottyType: DottyType = self.asInstanceOf[DottyType]
+    }
+
+    extension (self: Symbol) {
+      def asDottySymbol: DottySymbol = self.asInstanceOf[DottySymbol]
+    }
+
+    extension (self: DottyType) {
+      def fromDottyType: TypeRepr = self.asInstanceOf[TypeRepr]
+    }
+
+    implicit val context: Context = q.asInstanceOf[scala.quoted.runtime.impl.QuotesImpl].ctx
+
+    val c = Symbol.requiredClass("example.C")
+    val a = Symbol.classSymbol("example.A")
+    val List(x1: Symbol) = c.methodMember("x")
+    val x = x1.tree.asInstanceOf[DefDef].returnTpt.tpe
+    val Apply(_, NamedArg("clazz", TypeApply(Ident("classOf"), clazz :: Nil)) :: Nil) = x1.annotations.head
+    val result = asSeenFrom(clazz.tpe.asDottyType, c.typeRef.asDottyType, a.asDottySymbol).fromDottyType
+    println(result.show)
+    assert(result =:= TypeRepr.of[D[Int]], result)
+  }
+
+  def getTastyFileOrJar(clazz: Class[?]): Either[File, File] = {
+    val base = new File(clazz.getProtectionDomain.getCodeSource.getLocation.getFile)
+    if (base.isDirectory) {
+      val name = clazz.getName.replace('.', '/') + ".tasty"
+      Right(new File(base, name))
+    } else if (base.isFile && base.getName.endsWith(".jar")) {
+      Left(base)
+    } else {
+      sys.error("not found " + clazz)
+    }
+  }
+
+  def runInspector(clazz: Class[?], inspector: Inspector): Unit = {
+    getTastyFileOrJar(clazz) match {
+      case Right(tasty) =>
+        TastyInspector.inspectAllTastyFiles(
+          tastyFiles = tasty.getAbsolutePath :: Nil,
+          jars = Nil,
+          dependenciesClasspath = Nil
+        )(inspector)
+      case Left(jar) =>
+        TastyInspector.inspectAllTastyFiles(
+          tastyFiles = Nil,
+          jars = jar.getAbsolutePath :: Nil,
+          dependenciesClasspath = Nil
+        )(inspector)
+    }
+  }
+
+  def withQuotes[A](f: Quotes ?=> A): Unit = {
+    val inspector = new Inspector {
+      def inspect(using q: Quotes)(tastys: List[Tasty[q.type]]): Unit = {
+        import q.reflect.*
+        f
+      }
+    }
+    runInspector(classOf[C], inspector)
+  }
+}

src/main/scala/A.scala

@@ -0,0 +1,14 @@
+package example
+
+import scala.annotation.StaticAnnotation
+
+class MyAnnotation(clazz: Class[?]) extends StaticAnnotation
+
+trait D[E]
+
+class A[B] {
+  @MyAnnotation(clazz = classOf[D[B]])
+  def x: B = ???
+}
+
+class C extends A[Int]