expander: allow serialize of syntax object in srcloc

Author: mflatt

racket/src/expander/compile/serialize.rkt

@@ -258,8 +258,8 @@
          [(serialize? v)
           ((serialize-ref v) v 
            (case-lambda
-             [(v) (loop v)]
-             [(kind v) (loop v)])
+             [(sub-v) (loop sub-v)]
+             [(kind sub-v) (loop sub-v)])
            state)]
          [(pair? v)
           (loop (car v))
@@ -860,6 +860,8 @@
        [(prefab-struct-key v)
         (for ([e (in-vector (struct->vector v) 1)])
           (loop e))]
+       [(srcloc? v)
+        (loop (srcloc-source v))]
        [else
         (void)])]))
 

racket/src/expander/syntax/syntax.rkt

@@ -136,7 +136,8 @@
           (reach (syntax-shifted-multi-scopes s))
           (for ([(k v) (in-immutable-hash (syntax-props s))]
                 #:when (preserved-property-value? v))
-            (reach (plain-property-value v)))))
+            (reach (plain-property-value v)))
+          (reach (syntax-srcloc s))))
 
 ;; Property to abstract over handling of propagation for
 ;; serialization; property value takes a syntax object and

racket/src/racket/src/startup.inc

@@ -5628,7 +5628,8 @@ static const char *startup_source =
 "(values))))))"
 " for-loop_31)"
 "(unsafe-immutable-hash-iterate-first ht_31))))"
-"(void)))))"
+"(void)"
+"(reach_0(syntax-srcloc s_44))))))"
 "(cons"
 " prop:serialize"
 "(lambda(s_45 ser-push!_1 state_9)"
@@ -17409,13 +17410,13 @@ static const char *startup_source =
 " v_96)"
 " v_96"
 "(case-lambda"
-"((v_98)"
+"((sub-v_0)"
 "(loop_80"
-" v_98))"
+" sub-v_0))"
 "((kind_4"
-" v_100)"
+" sub-v_1)"
 "(loop_80"
-" v_100)))"
+" sub-v_1)))"
 " state_22))"
 "(if(pair? v_96)"
 "(let-values()"
@@ -20226,7 +20227,9 @@ static const char *startup_source =
 " for-loop_146)"
 " start*_4)))"
 "(void)))"
-"(let-values()(void)))))))))))))))))"
+"(if(srcloc? v_156)"
+"(let-values()(loop_81(srcloc-source v_156)))"
+"(let-values()(void))))))))))))))))))"
 " loop_81)"
 " v_155)"
 " reachable-scopes_7)))))))"