racket / racket/drracket

Don't nag about #lang line when file is rktd

Open
#803 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Racket
Stars
516
Forks
103
PR merge metrics
No merged PRs in 30d

Description

I'm told racket data have the extension .rktd, for just data files, as is .json to .js, however drracket nags you if the 1st line isn't a #lang definition in red on the bottom.

related:
https://github.com/jeapostrophe/racket-langserver/issues/207

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by opening a .rktd data file in DrRacket and reproducing the red warning about a missing #lang line. Trace the code that validates the first line for this file type; done means .rktd files no longer prompt for a #lang declaration while ordinary source files retain the warning.

Written by the indexing model from the issue text.

Assessment

Domain
desktop
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
55/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.