From 85fc01f693334d063fa58f8a9a9b93d2de1c0756 Mon Sep 17 00:00:00 2001 From: Blake Johnson Date: Fri, 30 Jul 2010 14:34:45 -0600 Subject: [PATCH] documentation for zo-parse certificate information --- collects/scribblings/raco/zo-parse.scrbl | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/collects/scribblings/raco/zo-parse.scrbl b/collects/scribblings/raco/zo-parse.scrbl index fbf217d2d0..bb589831b2 100644 --- a/collects/scribblings/raco/zo-parse.scrbl +++ b/collects/scribblings/raco/zo-parse.scrbl @@ -532,12 +532,26 @@ kernel.} @defstruct+[wrapped ([datum any/c] [wraps (listof wrap?)] - [certs (or/c list? #f)])]{ + [certs (or/c certificate? #f)])]{ Represents a syntax object, where @racket[wraps] contain the lexical information and @racket[certs] is certificate information. When the @racket[datum] part is itself compound, its pieces are wrapped, too.} +@defstruct+[certificate ()]{ + +A supertype for syntax certificates.} + +@defstruct+[(certificate:nest certificate) ([nested (listof number? module-path-index? ...)] + [map (listof number? module-path-index? ...)])]{ + +A nested certificate.} + +@defstruct+[(certificate:ref certificate) ([val any/c] + [map (listof number? module-path-index? ...)])]{ + +A reference certificate.} + @defstruct+[wrap ()]{