Support unknown diagnostic contexts better

plasma-umass / cwhy

"See why!" Explains and suggests fixes for compile-time errors for C, C++, C#, Go, Java, LaTeX, PHP, Python, Ruby, Rust, and TypeScript

Apache License 2.0

272 stars 6 forks source link

Support unknown diagnostic contexts better #6

Closed brycelelbach closed 1 year ago

brycelelbach commented 1 year ago

If we don't recognize the diagnostic we've been given, and thus have no way to extract source locations and find relevant code, we should still try to help by sending the diagnostic to the AI. This PR makes some changes to better support this.