@@ -26,10 +26,10 @@ trait InkuireSupport:
26
26
partialAsInkuire(vars, isVariable)(tpeTree)
27
27
28
28
def partialAsInkuire (vars : Set [String ], isVariable : Boolean ): PartialFunction [Tree , Inkuire .Type ] = {
29
- case TypeBoundsTree (low, high) => inner(low.tpe, vars) // TODO
29
+ case TypeBoundsTree (low, high) => inner(low.tpe, vars) // TODO [Inkuire] Type bounds
30
30
case tpeTree : Applied =>
31
31
inner(tpeTree.tpe, vars).copy(
32
- params = tpeTree.args.map(p => Inkuire .Invariance (p.asInkuire(vars, isVariable))) // TODO check variance
32
+ params = tpeTree.args.map(p => Inkuire .Invariance (p.asInkuire(vars, isVariable)))
33
33
)
34
34
case tpeTree : TypeTree =>
35
35
inner(tpeTree.tpe, vars)
@@ -65,7 +65,7 @@ trait InkuireSupport:
65
65
name = Inkuire .TypeName (normalizedName),
66
66
itid = argument.symbol.itid,
67
67
isVariable = vars.contains(normalizedName) || isVariable,
68
- params = Seq .empty // TODO in future arities of params will be needed
68
+ params = Seq .empty // TODO [Inkuire] Type Lambdas
69
69
)
70
70
if argument.symbol.flags.is(Flags .Covariant ) then Inkuire .Covariance (t)
71
71
else if argument.symbol.flags.is(Flags .Contravariant ) then Inkuire .Contravariance (t)
@@ -86,8 +86,8 @@ trait InkuireSupport:
86
86
case _ => false
87
87
88
88
private def inner (tp : TypeRepr , vars : Set [String ]): Inkuire .Type = tp match
89
- case OrType (left, right) => inner(left, vars) // TODO for future
90
- case AndType (left, right) => inner(left, vars) // TODO for future
89
+ case OrType (left, right) => inner(left, vars) // TODO [Inkuire] Or/AndTypes
90
+ case AndType (left, right) => inner(left, vars) // TODO [Inkuire] Or/AndTypes
91
91
case ByNameType (tpe) => inner(tpe, vars)
92
92
case ConstantType (constant) =>
93
93
Inkuire .Type (
@@ -97,15 +97,15 @@ trait InkuireSupport:
97
97
)
98
98
case ThisType (tpe) => inner(tpe, vars)
99
99
case AnnotatedType (AppliedType (_, Seq (tpe)), annotation) if isRepeatedAnnotation(annotation) =>
100
- inner(tpe, vars) // TODO for future
100
+ inner(tpe, vars) // TODO [Inkuire] Repeated types
101
101
case AppliedType (repeatedClass, Seq (tpe)) if isRepeated(repeatedClass) =>
102
- inner(tpe, vars) // TODO for future
102
+ inner(tpe, vars) // TODO [Inkuire] Repeated types
103
103
case AnnotatedType (tpe, _) =>
104
104
inner(tpe, vars)
105
105
case tl @ TypeLambda (params, paramBounds, resType) =>
106
- inner(resType, vars) // TODO for future
106
+ inner(resType, vars) // TODO [Inkuire] Type lambdas
107
107
case r : Refinement =>
108
- inner(r.info, vars) // TODO for future
108
+ inner(r.info, vars) // TODO [Inkuire] Refinements
109
109
case t @ AppliedType (tpe, typeList) =>
110
110
import dotty .tools .dotc .util .Chars ._
111
111
if t.isFunctionType then
@@ -125,7 +125,7 @@ trait InkuireSupport:
125
125
else
126
126
inner(tpe, vars).copy(
127
127
params = typeList.map(p => Inkuire .Invariance (inner(p, vars)))
128
- ) // TODO check if it's ok (Having resolver should mean that variance here isn't meaningful)
128
+ )
129
129
case tp : TypeRef =>
130
130
Inkuire .Type (
131
131
name = Inkuire .TypeName (tp.name),
@@ -136,20 +136,20 @@ trait InkuireSupport:
136
136
case tr @ TermRef (qual, typeName) =>
137
137
inner(qual, vars)
138
138
case TypeBounds (low, hi) =>
139
- inner(low, vars) // TODO for future
139
+ inner(low, vars) // TODO [Inkuire] Type bounds
140
140
case NoPrefix () =>
141
- Inkuire .Type .unresolved // TODO check <- should be handled by Singleton case, but doesn 't work
141
+ Inkuire .Type .unresolved // TODO [Inkuire] <- should be handled by Singleton case, but didn 't work
142
142
case MatchType (bond, sc, cases) =>
143
143
inner(sc, vars)
144
144
case ParamRef (TypeLambda (names, _, resType), i) =>
145
145
Inkuire .Type (
146
146
name = Inkuire .TypeName (names(i)),
147
- itid = Some (Inkuire .ITID (s " external-itid- ${names(i)}" , isParsed = false )), // TODO check if it's possible to get the actual ITID(DRI)
147
+ itid = Some (Inkuire .ITID (s " external-itid- ${names(i)}" , isParsed = false )),
148
148
isVariable = true
149
149
)
150
150
case ParamRef (m : MethodType , i) =>
151
151
inner(m.paramTypes(i), vars)
152
152
case RecursiveType (tp) =>
153
153
inner(tp, vars)
154
154
case MethodType (_, params, resType) =>
155
- inner(resType, vars) // TODO for future
155
+ inner(resType, vars) // TODO [Inkuire] Method type
0 commit comments