On Sat, Sep 3, 2016 at 6:03 PM, John Clements <cleme...@brinckerhoff.org> wrote:
> > > On Sep 3, 2016, at 5:54 PM, David Storrs <david.sto...@gmail.com> wrote: > > > > The best would probably be if DrRacket's out-of-the-box language setting > was something like "Use whatever is specified in the file; if nothing is > specified then default to <whatever>” > > For the last ’n’ years, the out-of-the-box setting has been “you must > choose a language level before continuing,” though it’s possible that in > 6.6, the default is “the Racket language.” My guess—and keep in mind my > guesses are usually wrong—is that you set your language level preference > months or years ago, and that it was just lurking in a preference file. > Ah, that makes sense. I don't know why I would have chosen anything other than 'what's specified in the file', but that's probably what happened. Regardless, it does seem like the file should be allowed to override the IDE. If someone went to the trouble of putting the language declaration in the file it probably means that it's not going to work without that language. > > John > > > > > Dave > > > > > > > > > > > > I tried saving the file (File>Save Definitions) as "foo.rkt" and > running it again with (unsurprisingly) no change. > > > > > > It runs fine from the command line using "racket foo.rkt" 'which > racket' shows that I am in fact using the v6.6 version. (I have v5.3.1, > v6.3 and v6.6 installed) > > > > > > I've googled around and found something similar from 2013 but there > was no closure on that thread. I threw "illegal use (not a module body)" > at the search box in the Racket docs and got nothing back. I've skimmed > through the documentation on modules and I don't see what would be relevant > there. > > > > > > I'm sure this is something simple but I have no idea where to look. > Any suggestions? > > > > > > Dave > > > > > > -- > > > You received this message because you are subscribed to the Google > Groups "Racket Users" group. > > > To unsubscribe from this group and stop receiving emails from it, send > an email to racket-users+unsubscr...@googlegroups.com. > > > For more options, visit https://groups.google.com/d/optout. > > > > > > > > > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
