I think I've found the problem. In the preferences, I chose 'Output syntax | Output style | write' which seems to force the behaviour of (print-as-expression #f) without actually changing the parameter.
After changing this preference to print, I observe a consistent behaviour between DrRacket and command line. On Fri, Feb 1, 2019 at 3:48 PM 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.
