I think it makes sense to put that error message directly into the teaching languages.
Robby On Mon, Nov 5, 2012 at 5:16 PM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote: > On Mon, Nov 5, 2012 at 6:11 PM, Robby Findler > <ro...@eecs.northwestern.edu> wrote: >> Thanks for taking a look. >> >> On Monday, November 5, 2012, Sam Tobin-Hochstadt wrote: >>> >>> - Allow the presence of a #lang line to override the language dialog, >>> or at least give an error that's more helpful than currently. >>> >> >> What did you have in mind here? The error you get in the teaching languages >> when the program starts with "#lang "? > > For the latter, yeah. I imagine a message like: > > You are currently using the Beginning Student, which doesn't support > files starting with #lang <language here>. To enable this, choose the > "use the language declared in the source" option in the language > dialog. > > Of course, that wording suggests that we have a shorter name for that option. > :) > > -- > sam th > sa...@ccs.neu.edu _________________________ Racket Developers list: http://lists.racket-lang.org/dev
