Skip to content

Commit 989eb02

Browse files
committed
Add missing TASTy Reflect type API
1 parent 63ee01a commit 989eb02

File tree

8 files changed

+819
-29
lines changed

8 files changed

+819
-29
lines changed

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

Lines changed: 21 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -78,6 +78,7 @@ trait CoreImpl extends scala.tasty.reflect.Core {
7878
type ByName = tpd.ByNameTypeTree
7979
type LambdaTypeTree = tpd.LambdaTypeTree
8080
type Bind = tpd.Bind
81+
type Block = tpd.Block
8182
}
8283
type TypeBoundsTree = tpd.TypeBoundsTree
8384
type WildcardType = tpd.TypeTree
@@ -86,11 +87,26 @@ trait CoreImpl extends scala.tasty.reflect.Core {
8687
type NoPrefix = Types.NoPrefix.type
8788
type TypeBounds = Types.TypeBounds
8889
type Type = Types.Type
89-
type RecursiveType = Types.RecType
90-
type LambdaType[ParamInfo] = Types.LambdaType { type PInfo = ParamInfo }
91-
type MethodType = Types.MethodType
92-
type PolyType = Types.PolyType
93-
type TypeLambda = Types.TypeLambda
90+
type ConstantType = Types.ConstantType
91+
type SymRef = Types.NamedType
92+
type TermRef = Types.NamedType
93+
type TypeRef = Types.NamedType
94+
type SuperType = Types.SuperType
95+
type Refinement = Types.RefinedType
96+
type AppliedType = Types.AppliedType
97+
type AnnotatedType = Types.AnnotatedType
98+
type AndType = Types.AndType
99+
type OrType = Types.OrType
100+
type MatchType = Types.MatchType
101+
type ByNameType = Types.ExprType
102+
type ParamRef = Types.ParamRef
103+
type ThisType = Types.ThisType
104+
type RecursiveThis = Types.RecThis
105+
type RecursiveType = Types.RecType
106+
type LambdaType[ParamInfo] = Types.LambdaType { type PInfo = ParamInfo }
107+
type MethodType = Types.MethodType
108+
type PolyType = Types.PolyType
109+
type TypeLambda = Types.TypeLambda
94110

95111
type ImportSelector = untpd.Tree
96112

0 commit comments

Comments
 (0)