fix compilation-top contract in docs

The associated change in the "zo-lib" package fixes #1038.
2015-09-07 08:28:08 -06:00 · 2015-09-07 08:28:08 -06:00 · e1333d0616
commit e1333d0616
parent 5ca752c92b
1 changed files with 1 additions and 1 deletions
--- a/pkgs/racket-doc/scribblings/raco/zo-struct.scrbl
+++ b/pkgs/racket-doc/scribblings/raco/zo-struct.scrbl
@ -37,7 +37,7 @@ structures that are produced by @racket[zo-parse] and consumed by
@defstruct+[(compilation-top zo)
            ([max-let-depth exact-nonnegative-integer?]
             [binding-namess (hash/c exact-nonnegative-integer?
-                                     (hash/c symbol? identifier?))]
+                                     (hash/c symbol? stx?))]
             [prefix prefix?]
             [code (or/c form? any/c)])]{
  Wraps compiled code.