jeapostrophe / racket-langserver

Other
269 stars 24 forks source link

fix: remove unnecessary `#lang` diagnostic in drracket-created files #132

Closed virchau13 closed 2 months ago

virchau13 commented 2 months ago

Student language files created by DrRacket do not have #lang directives; they only have #reader directives instead. (See e.g. https://github.com/jeapostrophe/racket-langserver/issues/86). The "Missing #lang" diagnostic should not be reported in these files.

Fixes #86.

jeapostrophe commented 2 months ago

Thank you!