Sam Tobin-Hochstadt wrote at 04/26/2014 07:26 PM:
On this topic (which is about the "Choose a language" language that
DrRacket starts in when newly installed), I think we should just
delete all of this code, and start in "the Racket language".

How about make Run and other very language-specific DrRacket operations require a "#lang" line?

When the operation is invoked and there isn't a "#lang" line, pop up an explanatory dialog box that lets user click on button for desired language. Button inserts "#lang" at top of file before continuing with operation.

(I like this better than having a default "#lang" line, because you'll get people accepting the wrong default, different people with different defaults, etc.)

Neil V.

_________________________
 Racket Developers list:
 http://lists.racket-lang.org/dev

Reply via email to