Ability to type check factory constructed source files #43600
Labels
API
Relates to the public API for TypeScript
Awaiting More Feedback
This means we'd like to hear from more people who would be helped by this feature
Suggestion
An idea for TypeScript
Suggestion
It would be nice to have the ability to type check factory constructed source files.
For example, say I create some ASTs like so, where
params.module.body
is some foreign AST that I'm converting to a tsc AST:...it would be better to be able to use these source files without having to implement all the necessary hacks. For example, not having to do...
...along with figuring out how to set many more internal properties (ex.
identifiers
,pragmas
,imports
, etc... etc...).🔍 Search Terms
type check transformed AST source file
✅ Viability Checklist
My suggestion meets these guidelines:
💻 Use Cases
Viability?
I understand this is a huge ask and the main reason I'm opening this is to ask how viable it is?
I believe the type checker would need to be changed to sparingly consult the source file text or node ranges and some of the code in the parser that sets internal properties would need to be extracted out to support it being lazily computed in addition to when it's parsed. Additionally, factory methods would have to clear the appropriate internal properties on nodes when they're transformed so that they will be lazily computed in the future when the type checker goes to retrieve them. Anything else?
The text was updated successfully, but these errors were encountered: