Skip to content

Commit f66225c

Browse files
Merge pull request #5529 from dotty-staging/tasty-reflect-add-missing-type-api
Add missing TASTy Reflect type API
2 parents 235a103 + 757c3c7 commit f66225c

File tree

8 files changed

+911
-28
lines changed

8 files changed

+911
-28
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)