From 209a90d281d6ddd772bbb310588c913514686ce1 Mon Sep 17 00:00:00 2001
From: Leif Andersen <leif@leifandersen.net>
Date: Tue, 30 Oct 2018 15:41:08 -0400
Subject: [PATCH] Make `racket/private/serialize-struct` cross-phase (#2270)

This makes sense because a serializable struct should probably remain
serializable, even if it was inserted into a bit o' 3d syntax.
---
 .../racket/private/serialize-structs.rkt      | 36 ++++++++++++++-----
 1 file changed, 28 insertions(+), 8 deletions(-)

diff --git a/racket/collects/racket/private/serialize-structs.rkt b/racket/collects/racket/private/serialize-structs.rkt
index b2026ddfdd..2f6891b9fb 100644
--- a/racket/collects/racket/private/serialize-structs.rkt
+++ b/racket/collects/racket/private/serialize-structs.rkt
@@ -1,18 +1,38 @@
-(module serialize-structs racket/base
+(module serialize-structs '#%kernel
+  
+  (#%declare #:cross-phase-persistent)
 
   ;; Exports just the structre info, which is needed in
   ;;  "class.rkt" (which is, in turn, ultimately required by
   ;;  "serialize.rkt")
 
-  (provide
-   (protect-out
-    (struct-out serialize-info)
-    (struct-out deserialize-info)
-    prop:serializable serializable-struct? serializable-info))
+  (#%provide (protect (all-defined)))
   
-  (define-struct serialize-info (vectorizer deserialize-id can-cycle? dir))
+  (define-values (struct:serialize-info
+                  make-serialize-info
+                  serialize-info?
+                  serialize-info-vectorizer
+                  serialize-info-deserialize-id
+                  serialize-info-can-cycle?
+                  serialize-info-dir)
+    (let-values ([(struct: make- ? -ref -set!)
+                  (make-struct-type 'serialize-info #f 4 0 #f '() (current-inspector) #f '(0 1 2 3) #f 'serialize-info)])
+      (values struct:
+              make-
+              ?
+              (make-struct-field-accessor -ref 0 'vectorizer)
+              (make-struct-field-accessor -ref 1 'deserialize-id)
+              (make-struct-field-accessor -ref 2 'can-cycle?)
+              (make-struct-field-accessor -ref 3 'dir))))
   
-  (define-struct deserialize-info (maker cycle-maker))
+  (define-values (struct:deserialize-info
+                  make-deserialize-info
+                  deserialize-info?
+                  deserialize-info-maker
+                  deserialize-info-cycle-maker)
+    (let-values ([(struct: make- ? -ref -set!)
+                  (make-struct-type 'deserialize-info #f 2 0 #f '() (current-inspector) #f '(0 1) #f 'deserialize-info)])
+      (values struct: make- ? (make-struct-field-accessor -ref 0 'maker) (make-struct-field-accessor -ref '1 'cycle-maker))))
   
   (define-values (prop:serializable serializable-struct? serializable-info)
     (make-struct-type-property 'serializable #f)))