print-values is a normal identifier introduced by the racket/base's macro module-begin. It is a (private) function defined in racket/private/modbeg.
On Feb 6, 2019 5:02 AM, "'Paulo Matos' via Racket Users" < email@example.com> wrote: > Hi, > > The docs give a grammar for fully expanded programs. > I found it amazingly concise so I decided to give it a try and expanded > the following: > > ``` > #lang racket > > 42 > ``` > > This expands to (nicely formatted): > > #<syntax:./examples/forty-two.rkt:1:6 > (module forty-two racket > (#%module-begin > (module configure-runtime > (quote #%kernel) > (#%module-begin > (#%require racket/runtime-config) > (#%app configure (quote #f)))) > (#%app call-with-values (lambda () (quote 42)) print-values))) > > > > That looks good to me. However, in the documented grammar there's no > reference to print-values. I assume print-values is an `id` in the > grammar, but I cannot find a reference to `print-values` in the docs > either. Is this an omission? > >  > https://docs.racket-lang.org/reference/syntax-model.html?#( > part._fully-expanded) > -- > Paulo Matos > > -- > 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.