That's not what I see in DrRacket. Try hitting "Run" again on a lang-line only DrRacket buffer and sending the entire REPL?
Welcome to DrRacket, version 7.2.0.3--2019-01-15(-/f) [cs]. Language: racket, with debugging; memory limit: 512 MB. > (~v 'x) "'x" > On Fri, Feb 1, 2019 at 9:48 AM Laurent <laurent.ors...@gmail.com> wrote: > > I'm in #lang racket for DrRacket, and I assume it's the same for the command > line when merely starting "$ racket" > > > On Fri, Feb 1, 2019 at 3:39 PM Robby Findler <ro...@eecs.northwestern.edu> > wrote: >> >> This setting is controlled by the language of the original file (so >> the one in the definitions window in DrRacket or the one you are >> "inside" in the repl if you're in one). Possibly those are different >> for you, Laurent? >> >> Robby >> >> On Fri, Feb 1, 2019 at 9:33 AM Sam Tobin-Hochstadt <sa...@cs.indiana.edu> >> wrote: >> > >> > I see the same behavior in DrRacket as in command line racket. >> > >> > On Fri, Feb 1, 2019 at 10:19 AM Laurent <laurent.ors...@gmail.com> wrote: >> > > >> > > I'm seeing a difference that I can't explain. In the interactions below, >> > > look for the leading quote in the output string on the commandline, and >> > > its absence in DrRacket. >> > > >> > > The same problem happens when running a module containing the same code, >> > > so it's not a top-level issue. >> > > >> > > Is there another parameter that controls this quoting mechanism that I >> > > don't know about? >> > > >> > > In DrRacket: >> > > > (~v 'auie) >> > > "auie" >> > > > (print-as-expression) >> > > #t >> > > >> > > On the command line: >> > > Welcome to Racket v7.2.0.3. >> > > > (~v 'auie) >> > > "'auie" >> > > > (print-as-expression) >> > > #t >> > > >> > > -- >> > > 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. > > -- > 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.
