From 0170b0a672c533afb5d4c0b9bcc5856a4e6c88d7 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Mon, 22 Jul 2013 10:34:39 -0600
Subject: [PATCH] add `#%declare', require declaration of cross-phase
 persistent modules

original commit: 9e2cf2ab376a3461a1db943dfb35f6a152b70470
---
 pkgs/scribble-pkgs/scribble-lib/scribble/doclang.rkt       | 7 +++----
 .../scribble-text-lib/scribble/text/syntax-utils.rkt       | 2 +-
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/doclang.rkt b/pkgs/scribble-pkgs/scribble-lib/scribble/doclang.rkt
index 718d666a..f3d781dc 100644
--- a/pkgs/scribble-pkgs/scribble-lib/scribble/doclang.rkt
+++ b/pkgs/scribble-pkgs/scribble-lib/scribble/doclang.rkt
@@ -40,9 +40,7 @@
                              #'body1 'module
                              (append (kernel-form-identifier-list)
                                      (syntax->list #'(provide
-                                                      require
-                                                      #%provide
-                                                      #%require))))])
+                                                      require))))])
               (syntax-case expanded (begin)
                 [(begin body1 ...)
                  #`(doc-begin m-id post-process exprs body1 ... . body)]
@@ -57,7 +55,8 @@
                                               module
                                               module*
                                               #%require
-                                              #%provide))))
+                                              #%provide
+                                              #%declare))))
                  #`(begin #,expanded (doc-begin m-id post-process exprs . body))]
                 [_else
                  #`(doc-begin m-id post-process 
diff --git a/pkgs/scribble-pkgs/scribble-text-lib/scribble/text/syntax-utils.rkt b/pkgs/scribble-pkgs/scribble-text-lib/scribble/text/syntax-utils.rkt
index 3240a1d3..da3a4177 100644
--- a/pkgs/scribble-pkgs/scribble-text-lib/scribble/text/syntax-utils.rkt
+++ b/pkgs/scribble-pkgs/scribble-text-lib/scribble/text/syntax-utils.rkt
@@ -8,7 +8,7 @@
 (begin-for-syntax
   (define definition-ids ; ids that don't require forcing
     (syntax->list #'(define-values define-syntaxes begin-for-syntax
-                     require provide #%require #%provide)))
+                     require provide #%require #%provide #%declare)))
   (define stoplist (append definition-ids (kernel-form-identifier-list)))
   (define (definition-id? id)
     (and (identifier? id)