> On Sep 3, 2016, at 6:07 PM, David Storrs <david.sto...@gmail.com> wrote: > > > > 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.
Sadly, I believe it’s not quite that simple, in that the menu selection takes the result of read-syntax and wraps it in a syntactic context, and in fact it’s possible that a language level could work perfectly fine with a #lang declaration. For instance, a language level that takes a complete module and annotates it in some way. John > > > 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.
signature.asc
Description: PGP signature
