Automated Resyntax fixes

drracket-tool-text-lib/drracket/private/syncheck/contract-traversal.rkt

@@ -29,24 +29,32 @@
       [_ (void)]))
 
   ;; fill in the coloring-plans table for boundary contracts
-  (for ([(start-k start-val) (in-hash boundary-start-map)])
-    (for ([start-stx (in-list start-val)])
-      (do-contract-traversal start-stx #t
-                             coloring-plans already-jumped-ids
-                             low-binders binding-inits
-                             domain-map range-map
-                             #t
-                             binder+mods-binder)))
+  (for* ([(start-k start-val) (in-hash boundary-start-map)]
+         [start-stx (in-list start-val)])
+    (do-contract-traversal start-stx
+                           #t
+                           coloring-plans
+                           already-jumped-ids
+                           low-binders
+                           binding-inits
+                           domain-map
+                           range-map
+                           #t
+                           binder+mods-binder))
 
   ;; fill in the coloring-plans table for internal contracts
-  (for ([(start-k start-val) (in-hash internal-start-map)])
-    (for ([start-stx (in-list start-val)])
-      (do-contract-traversal start-stx #f
-                             coloring-plans already-jumped-ids
-                             low-binders binding-inits
-                             domain-map range-map
-                             #f
-                             binder+mods-binder)))
+  (for* ([(start-k start-val) (in-hash internal-start-map)]
+         [start-stx (in-list start-val)])
+    (do-contract-traversal start-stx
+                           #f
+                           coloring-plans
+                           already-jumped-ids
+                           low-binders
+                           binding-inits
+                           domain-map
+                           range-map
+                           #f
+                           binder+mods-binder))
 
   ;; enact the coloring plans
   (for ([(stx colors) (in-hash coloring-plans)])
@@ -210,7 +218,7 @@
   (let loop ([val (syntax-property stx prop)])
     (cond
       [(symbol? val)
-       (hash-set! map val (cons stx (hash-ref map val '())))]
+       (hash-update! map val (λ (v) (cons stx v)) '())]
       [(pair? val)
        (loop (car val))
        (loop (cdr val))])))