3 ms·
Sounds like an opportunity for a type checker that uses the language server.
by kcartlidge 4y ago
Sounds like an opportunity for a type checker that uses the language server.
- dragonwriter 4y ago> Sounds like an opportunity for a type checker that uses the language server The language server itself uses a typechecker, so you'd just be building a typechecker that uses another typechecker by a roundabout route.
- kcartlidge 4y agoIt's turtles all the way down. Though in seriousness I'd presume it would be bad type checker uses language server which uses better type checker, which may help with the problem.