From 3b66001cdcd4fdb642b9a0c2d2176c25c27c707a Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 5 Mar 2008 00:10:45 +0000
Subject: [PATCH] manually restore property on scribble reader example

svn: r8888

original commit: c8f3d15c7954c174eba07ecbec95640239af9d81
---
 collects/scribblings/scribble/reader.scrbl | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/collects/scribblings/scribble/reader.scrbl b/collects/scribblings/scribble/reader.scrbl
index c35c5689..f70164b4 100644
--- a/collects/scribblings/scribble/reader.scrbl
+++ b/collects/scribblings/scribble/reader.scrbl
@@ -678,7 +678,11 @@ example, implicitly quoted keywords:
   (eval:alts
    (code:line
     #, @tt["@foo[x 1 y (* 2 3)]{blah}"])
-    @foo[x 1 y (* 2 3)]{blah})
+    ;; Unfortunately, expressions are preserved by `def+int'
+    ;; using `quote', not `quote-syntax' (which would create all sorts
+    ;; or binding trouble), so we manually re-attach the property:
+    (eval (syntax-property #'@foo[x 1 y (* 2 3)]{blah}
+                           'scribble '(form 4 1))))
 ]
 
 In addition, the Scribble parser uses syntax properties to mark syntax