Merge pull request #5118 from dotty-staging/tasty-string-tpe

Add String to tasty standard definitions

Author: allanrenucci

compiler/src/dotty/tools/dotc/tastyreflect/StandardDefinitions.scala

@@ -80,5 +80,6 @@ trait StandardDefinitions extends scala.tasty.reflect.StandardDefinitions {
     def ObjectType: Type = defn.ObjectType
     def NothingType: Type = defn.NothingType
     def NullType: Type = defn.NullType
+    def StringType: Type = defn.StringType
   }
 }

library/src/scala/tasty/reflect/StandardDefinitions.scala

@@ -212,5 +212,8 @@ trait StandardDefinitions extends TastyCore {
 
     /** The type of core type `Null`. */
     def NullType: Type
+
+    /** The type for `scala.String`. */
+    def StringType: Type
   }
 }

tests/run/tasty-definitions-1.check

@@ -169,3 +169,4 @@ Type.SymRef(<scala.AnyRef>, Type.ThisType(Type.SymRef(<scala>, NoPrefix())))
 Type.SymRef(<java.lang.Object>, Type.ThisType(Type.SymRef(<java.lang>, NoPrefix())))
 Type.SymRef(<scala.Nothing>, Type.ThisType(Type.SymRef(<scala>, NoPrefix())))
 Type.SymRef(<scala.Null>, Type.ThisType(Type.SymRef(<scala>, NoPrefix())))
+Type.SymRef(<java.lang.String>, Type.ThisType(Type.SymRef(<java.lang>, NoPrefix())))

tests/run/tasty-definitions-1/quoted_1.scala

@@ -91,6 +91,7 @@ object Macros {
     printout(definitions.ObjectType.show)
     printout(definitions.NothingType.show)
     printout(definitions.NullType.show)
+    printout(definitions.StringType.show)
 
 
     '(println(~buff.result().mkString("\n").toExpr))