From 4997800a7622955bec3b3742221a0fc1b446c358 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 6 Mar 2013 09:39:05 -0600
Subject: [PATCH] make-traversal's optional argument is now ignored

Recent changes eliminated it, but it seems better
(for backwards compatibility) to leave it there but
ignore it
---
 collects/drracket/check-syntax.rkt                |  2 +-
 collects/drracket/private/syncheck/traversals.rkt |  2 +-
 collects/scribblings/tools/tools.scrbl            | 10 ++++------
 3 files changed, 6 insertions(+), 8 deletions(-)

diff --git a/collects/drracket/check-syntax.rkt b/collects/drracket/check-syntax.rkt
index b517d54d7e..100b7f2ed5 100644
--- a/collects/drracket/check-syntax.rkt
+++ b/collects/drracket/check-syntax.rkt
@@ -9,7 +9,7 @@
  [make-traversal 
   (-> namespace?
       (or/c path-string? #f)
-      (values (->* (syntax?) ((-> syntax? void?)) void?)
+      (values (->* (syntax?) ((-> any/c void?)) void?)
               (-> void?)))]
  
  [current-max-to-send-at-once
diff --git a/collects/drracket/private/syncheck/traversals.rkt b/collects/drracket/private/syncheck/traversals.rkt
index f3df48b08c..a43ae740b5 100644
--- a/collects/drracket/private/syncheck/traversals.rkt
+++ b/collects/drracket/private/syncheck/traversals.rkt
@@ -58,7 +58,7 @@
              [tl-phase-to-requires (make-hash)]
              [tl-module-lang-requires (make-hash)]
              [expanded-expression
-              (λ (sexp)
+              (λ (sexp [ignored void])
                 (parameterize ([current-directory (or user-directory (current-directory))]
                                [current-load-relative-directory user-directory])
                   (let ([is-module? (syntax-case sexp (module)
diff --git a/collects/scribblings/tools/tools.scrbl b/collects/scribblings/tools/tools.scrbl
index e67d28bef6..08eda37fc0 100644
--- a/collects/scribblings/tools/tools.scrbl
+++ b/collects/scribblings/tools/tools.scrbl
@@ -622,11 +622,7 @@ Check Syntax is a part of the DrRacket collection, but is implemented via the to
 @defproc[(make-traversal [namespace namespace?]
                          [path (or/c #f path-string?)])
          (values (->* (syntax?)
-                      ((-> (and/c syntax?
-                                  (λ (x)
-                                    (define lst (syntax->list x))
-                                    (and lst (andmap identifier? lst))))
-                           void?))
+                      ((-> any/c void?))
                       void?)
                  (-> void?))]{
   This function creates some local state about a traversal of syntax objects
@@ -635,7 +631,9 @@ Check Syntax is a part of the DrRacket collection, but is implemented via the to
   one if the program is a module) and then the second one should be called to
   indicate there are no more. 
   
-  The optional argument to the first function is called for each sequence
+  The optional argument to the first function is ignored.
+  It is left there for historical reasons. In the past it
+  was called for each sequence
   of binding identifiers encountered in @racket[define-values], @racket[define-syntaxes],
   and @racket[define-values-for-syntax].