Add proper flag exported handling in compiler and fix type presentation for constant types

Author: BarkingBad

compiler/src/scala/quoted/runtime/impl/printers/Extractors.scala

@@ -29,6 +29,7 @@ object Extractors {
     if (flags.is(Flags.Enum)) flagList += "Flags.Enum"
     if (flags.is(Flags.Erased)) flagList += "Flags.Erased"
     if (flags.is(Flags.ExtensionMethod)) flagList += "Flags.ExtensionMethod"
+    if (flags.is(Flags.Exported)) flagList += "Flags.Exported"
     if (flags.is(Flags.FieldAccessor)) flagList += "Flags.FieldAccessor"
     if (flags.is(Flags.Final)) flagList += "Flags.Final"
     if (flags.is(Flags.HasDefault)) flagList += "Flags.HasDefault"

scala3doc/src/dotty/dokka/model/api/api.scala

@@ -74,7 +74,7 @@ enum Origin:
   case InheritedFrom(name: String, dri: DRI)
   case ImplicitlyAddedBy(name: String, dri: DRI)
   case ExtensionFrom(name: String, dri: DRI)
-  case ExportedFrom(name: String, dri: DRI)
+  case ExportedFrom(name: String, dri: Option[DRI])
   case DefinedWithin
 
 case class Annotation(val dri: DRI, val params: List[Annotation.AnnotationParameter])

scala3doc/src/dotty/dokka/tasty/ClassLikeSupport.scala

@@ -127,13 +127,22 @@ trait ClassLikeSupport:
       case dd: DefDef if !dd.symbol.isHiddenByVisibility && dd.symbol.isExported =>
         val exportedTarget = dd.rhs.flatMap { 
           case a: Apply => Some(a.fun)
+          case s: Select => Some(s)
           case _ => None
         }.map { 
           case s: Select => s
         } 
         val functionName = exportedTarget.fold("instance")(_.name)
         val instanceName = exportedTarget.fold("function")(_.qualifier.asInstanceOf[Select].name)
-        Some(parseMethod(dd.symbol, kind = Kind.Exported).withOrigin(Origin.ExportedFrom(s"$instanceName.$functionName", dd.symbol.dri)))
+        val dri = dd.rhs.flatMap {
+          case a: Apply => None
+          case s: Select => 
+            val dri = s.symbol.dri 
+            dri.getCallable match
+              case null => None
+              case _ => Some(dri)
+        }.orElse(exportedTarget.map(_.qualifier.tpe.typeSymbol.dri))
+        Some(parseMethod(dd.symbol, kind = Kind.Exported).withOrigin(Origin.ExportedFrom(s"$instanceName.$functionName", dri)))
 
       case dd: DefDef if !dd.symbol.isHiddenByVisibility && !dd.symbol.isGiven && !dd.symbol.isSyntheticFunc && !dd.symbol.isExtensionMethod =>
         Some(parseMethod(dd.symbol))

scala3doc/src/dotty/dokka/tasty/TypesSupport.scala

@@ -215,9 +215,12 @@ trait TypesSupport:
         //     case _ =>
         //     throw Exception("Match error in TypeRef. This should not happen, please open an issue. " + convertTypeOrBoundsToReference(reflect)(qual))
         // }
-      case tr @ TermRef(qual, typeName) => qual match {
-        case _ => link(tr.termSymbol)
-      }
+      case tr @ TermRef(qual, typeName) => 
+        tr.termSymbol.tree match
+          case vd: ValDef => inner(vd.tpt.tpe)
+          case _          => link(tr.termSymbol)
+        
+
         // convertTypeOrBoundsToReference(reflect)(qual) match {
         //     case TypeReference(label, link, xs, _) => TypeReference(typeName + "$", link + "/" + label, xs)
         //     case EmptyReference => TypeReference(typeName, "", Nil)

scala3doc/src/dotty/dokka/translators/ScalaContentBuilder.scala

@@ -489,7 +489,11 @@ class ScalaPageContentBuilder(
         val originInfo = documentable.origin match {
           case Origin.ImplicitlyAddedBy(name, dri) => Signature("Implicitly added by ", SLink(name, dri))
           case Origin.ExtensionFrom(name, dri) => Signature("Extension method from ", SLink(name, dri))
-          case Origin.ExportedFrom(name, dri) => Signature("Exported from ", SLink(name, dri))
+          case Origin.ExportedFrom(name, dri) => 
+            val signatureName: String | dotty.dokka.model.api.Link = dri match
+              case Some(dri: DRI) => SLink(name, dri)
+              case None => name
+            Signature("Exported from ", signatureName)
           case _ => Nil
         }