From 4d04a77cb3679db817792ba50aa15fe9a2dadf23 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 19 May 2018 10:31:25 -0600 Subject: [PATCH] doc correction compiler/zo-struct Closes #2016 --- pkgs/racket-doc/scribblings/raco/zo-struct.scrbl | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/pkgs/racket-doc/scribblings/raco/zo-struct.scrbl b/pkgs/racket-doc/scribblings/raco/zo-struct.scrbl index 62fdd0bb53..5d0f527d1c 100644 --- a/pkgs/racket-doc/scribblings/raco/zo-struct.scrbl +++ b/pkgs/racket-doc/scribblings/raco/zo-struct.scrbl @@ -416,13 +416,16 @@ binding, constructor, etc.} @racket[seq] is never in tail position, even if it is the only expression in the list.} -@defstruct+[(varref expr) ([toplevel (or/c toplevel? #t)] +@defstruct+[(varref expr) ([toplevel (or/c toplevel? #t #f symbol?)] [dummy (or/c toplevel? #f)] [constant? boolean?] [from-unsafe? boolean?])]{ - Represents a @racket[#%variable-reference] form. The @racket[toplevel] - field is @racket[#t] if the original reference was to a constant local - binding. The @racket[dummy] field + Represents a @racket[#%variable-reference] form. The + @racket[toplevel] field is @racket[#t] if the original reference was + to a constant local binding, @racket[#f] if the variable reference + is for @racket[(#%variable-reference)] and does not refer to a + specific variable, or a symbol if the variable reference refers to a + primitive variable. The @racket[dummy] field accesses a variable bucket that strongly references its namespace (as opposed to a normal variable bucket, which only weakly references its namespace); it can be @racket[#f].