specifically knowing the name of the class and the...

# arrow-meta

[redrield]

specifically knowing the name of the class and the names of its type arguments

[bloder]

There's a transform that we use to generate code, try to take a look on this example using Transform.newSources it could help in your case: https://github.com/arrow-kt/arrow-meta/blob/master/compiler-plugin/src/test/kotlin/arrow/meta/quotes/transform/plugins/TransformNewSourcePlugin.kt#L16

[redrield]

I don't know if this would be helpful, I'm trying to add a custom typechecking layer to the IDE to provide correct typechecking on a project using the compiler plugin, and part of it requires me to use TypeProjection.substitute which takes a closure that must return a KotlinType

[redrield]

I know the class that I would need to return by FqName but I don't know how I can actually get an instance

[redrield]

I found a method in the CLI plugin context but the same method doesn't seem to exist for the IdeContext

[shikasd]

the easiest I think is to resolve the type from descriptor
fqName -> classId -> module.findClassAcrossDeps() -> type

[redrield]

Is there a way to do that without a CompilerContext? or how can I get that with the IdeContext

[shikasd]

ah, in ide there should be resolution context
I am not good with meta specifically tbh 🙂

[raulraja]

Arrow meta can intercept the resolution facade

[raulraja]

if you look at the source of the arrow ide plugin you will see the proofs plugin does that to inject its own typechecker in the resolution facade

[raulraja]

Links to relevant source to follow:

[raulraja]

https://github.com/arrow-kt/arrow-meta/blob/e3c602633948dad3594cce9a22035e0d06e3b1a7/idea-plugin/src/main/kotlin/arrow/meta/ide/plugins/proofs/resolve/ProofsKotlinCacheService.kt

[raulraja]

https://github.com/arrow-kt/arrow-meta/blob/e3c6026339/compiler-plugin/src/main/kotlin/arrow/meta/plugins/proofs/ProofsPlugin.kt#L26

[raulraja]

also you can vreate a KotlinType manually with the compiler apis in TypeUtils I believe

[Imran/Malic]

The Ide context solely contains the application for accessing services ad manipulating the environment.

[raulraja]

but type checking and analysis can be intercepted in the Resolution Facade which is what highlithers for type checking ask for. Also the typechecker can be injected.

[redrield]

I did that and created a custom BindingContext in ResolutionFacade.analyze that will refine the types in question, but even with that working it doesn't work unless I suppress all mismatched type errors for the class in question, which also suppresses the error in a case where it should be presented