object-name: return #f for some built-in kinds of values

This change is mostly for making CS consistent with BC, but in the
case of `(object-name #'x)`, it also makes BC consistent with BC
before the macro-expander rewrite.

Closes racket/pconvert#9

pkgs/racket-test-core/tests/racket/macro.rktl

@@ -762,8 +762,8 @@
         #:trim-error #rx"^[^\n]*\n[^\n]*")
   
   (define (in-defctx s) `(let () ,s))
-  (test '("(#(struct:liberal-define-context))\n10\n" "") go '(definition-context expression) in-defctx 'prop:procedure)
+  (test '("(#<liberal-define-context>)\n10\n" "") go '(definition-context expression) in-defctx 'prop:procedure)
-  (test '("(#(struct:liberal-define-context))\n10\n" "") go '(definition-context) in-defctx 'prop:procedure)
+  (test '("(#<liberal-define-context>)\n10\n" "") go '(definition-context) in-defctx 'prop:procedure)
   (test '("expression\n10\n" "") go '(expression) in-defctx 'prop:procedure)
   (test '("" "m: not allowed in context\n  expansion context: definition-context") go '() in-defctx 'prop:procedure
         #:trim-error #rx"^[^\n]*\n[^\n]*")

pkgs/racket-test-core/tests/racket/name.rktl

@@ -214,4 +214,10 @@
 (test 'date*? object-name date*?)
 (test 'date-second object-name date-second)
 
+;; Check that `object-name` produces #f for some primitive value types
+;; that might happen to be implemented with structures at some level
+(test #f object-name (make-thread-group))
+(test #f object-name (current-directory))
+(test #f object-name (quote-syntax x))
+
 (report-errs)

racket/src/bc/src/fun.c

@@ -2715,7 +2715,8 @@ Scheme_Object *scheme_object_name(Scheme_Object *a)
   }
 
   if (SCHEME_STRUCTP(a)) {
-    return SCHEME_STRUCT_NAME_SYM(a);
+    if (!(SCHEME_STRUCT_TYPE(a)->more_flags & STRUCT_TYPE_FLAG_SYSTEM_OPAQUE))
+      return SCHEME_STRUCT_NAME_SYM(a);
   } else if (SCHEME_PROCP(a)) {
     const char *s;
     int len;

racket/src/bc/src/optimize.c

@@ -1470,7 +1470,7 @@ static int ok_constant_super_value(void *data, Scheme_Object *v, int mode)
       Scheme_Struct_Type *st = (Scheme_Struct_Type *)v;
       if (st->num_slots == st->num_islots) {
         if (_nonfail_constr)
-          *_nonfail_constr = st->nonfail_constructor;
+          *_nonfail_constr = (st->more_flags & STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR);
         if (_prefab)
           *_prefab = !!st->prefab_key;
         return st->num_slots + 1;

racket/src/bc/src/schpriv.h

@@ -1096,7 +1096,8 @@ typedef struct Scheme_Struct_Type {
   mzshort num_islots; /* initialized + parent-initialized */
   mzshort name_pos;
   char authentic; /* 1 => chaperones/impersonators disallowed */
-  char nonfail_constructor; /* 1 => constructor never fails */
+  char more_flags; /* STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR => constructor never fails
+                      STRUCT_TYPE_FLAG_SYSTEM_OPAQUE => #f for `object-name`, for example */
 
   Scheme_Object *name;
 
@@ -1127,6 +1128,10 @@ typedef struct Scheme_Struct_Type {
 #define STRUCT_TYPE_ALL_IMMUTABLE 0x1
 #define STRUCT_TYPE_CHECKED_PROC  0x2
 
+/* for `more_flags` field */
+#define STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR 0x1
+#define STRUCT_TYPE_FLAG_SYSTEM_OPAQUE       0x2
+
 typedef struct Scheme_Structure
 {
   Scheme_Object so;

racket/src/bc/src/startup.inc

@@ -43778,7 +43778,7 @@ static const char *startup_source =
 " 0"
 " #f"
 "(list(cons 1/prop:liberal-define-context #t))"
-" #f"
+"(current-inspector)"
 " #f"
 " '()"
 " #f"

racket/src/bc/src/struct.c

@@ -3431,7 +3431,7 @@ intptr_t scheme_get_or_check_structure_shape(Scheme_Object *e, Scheme_Object *ex
                 | ((st->authentic && (!expected || (v & STRUCT_PROC_SHAPE_AUTHENTIC)))
                    ? STRUCT_PROC_SHAPE_AUTHENTIC
                    : 0)
-                | ((st->nonfail_constructor
+                | (((st->more_flags & STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR)
                     && (!expected || (v & STRUCT_PROC_SHAPE_NONFAIL_CONSTR)))
                    ? STRUCT_PROC_SHAPE_NONFAIL_CONSTR
                    : 0)
@@ -3448,7 +3448,7 @@ intptr_t scheme_get_or_check_structure_shape(Scheme_Object *e, Scheme_Object *ex
       st = (Scheme_Struct_Type *)SCHEME_PRIM_CLOSURE_ELS(e)[0];
       want_v = ((st->num_islots << STRUCT_PROC_SHAPE_SHIFT)
                 | STRUCT_PROC_SHAPE_CONSTR
-                | ((st->nonfail_constructor
+                | (((st->more_flags & STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR)
                     && (!expected || (v & STRUCT_PROC_SHAPE_NONFAIL_CONSTR)))
                    ? STRUCT_PROC_SHAPE_NONFAIL_CONSTR
                    : 0));
@@ -4752,7 +4752,7 @@ Scheme_Struct_Type *scheme_make_prefab_struct_type_raw(Scheme_Object *base,
   struct_type->num_islots = num_fields + (parent_type ? parent_type->num_islots : 0);
   struct_type->name_pos = depth;
   struct_type->authentic = 0;
-  struct_type->nonfail_constructor = 1;
+  struct_type->more_flags = STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR;
   struct_type->inspector = scheme_false;
   struct_type->uninit_val = uninit_val;
   struct_type->props = NULL;
@@ -4819,7 +4819,12 @@ static Scheme_Object *_make_struct_type(Scheme_Object *name,
   }
 
   struct_type->name = name;
-  struct_type->nonfail_constructor = (parent_type ? parent_type->nonfail_constructor : 1);
+  struct_type->more_flags = ((parent_type
+                              ? (parent_type->more_flags & STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR)
+                              : STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR)
+                             | ((scheme_starting_up && inspector)
+                                ? STRUCT_TYPE_FLAG_SYSTEM_OPAQUE
+                                : 0));
 
   struct_type->num_slots = num_fields + num_uninit_fields + (parent_type ? parent_type->num_slots : 0);
   struct_type->num_islots = num_fields + (parent_type ? parent_type->num_islots : 0);
@@ -5083,7 +5088,7 @@ static Scheme_Object *_make_struct_type(Scheme_Object *name,
     }
     
     struct_type->guard = guard;
-    struct_type->nonfail_constructor = 0;
+    struct_type->more_flags = 0;
   } else if (chaperone_undefined) {
     struct_type->guard = scheme_undefined;
   }
@@ -5091,7 +5096,7 @@ static Scheme_Object *_make_struct_type(Scheme_Object *name,
   if (parent && SCHEME_NP_CHAPERONEP(parent)) {
     guard = add_struct_type_chaperone_guards(parent, struct_type->guard);
     struct_type->guard = guard;
-    struct_type->nonfail_constructor = 0;
+    struct_type->more_flags = 0;
   }
 
   if (checked_proc)
@@ -5162,7 +5167,7 @@ Scheme_Object *scheme_make_struct_type_from_string(const char *name,
                         guard);
 
   if (scheme_starting_up)
-    /* Force allocation for a strcuture type that may be in the master GC: */
+    /* Force allocation for a struc<ture type that may be in the master GC: */
     scheme_force_struct_type_info((Scheme_Struct_Type *)r);
 
   return r;

racket/src/cs/rumble/object-name.ss

@@ -55,7 +55,8 @@
    [(procedure? v)
     (extract-procedure-name v)]
    [(struct-type? v)
-    (record-type-name v)]
+    (and (not (eq? (inspector-ref v) none))
+         (record-type-name v))]
    [(struct-type-property? v)
     (struct-type-prop-name v)]
    [(record? v)

racket/src/cs/rumble/struct.ss

@@ -173,6 +173,8 @@
             (and parent
                  (inspector-superior? sup-insp parent))))))
 
+;; result can be 'prefab, #f, an inspector, or `none`, where
+;; `none` is the result for opaque "system" records
 (define (inspector-ref rtd)
   (getprop (record-type-uid rtd) 'inspector none))
 
@@ -572,7 +574,7 @@
    [(rtd name init-count auto-count parent-rtd props insp proc-spec immutables guard constructor-name install-props!)
     (let ([install-props!
            (or install-props!
-               (check-make-struct-type-arguments 'make-struct-type name parent-rtd init-count auto-count
+               (check-make-struct-type-arguments 'make-struct-type (if (pair? name) (car name) name) parent-rtd init-count auto-count
                                                  props insp proc-spec immutables guard constructor-name))])
       (unless (eq? insp 'prefab) ; everything for prefab must be covered in `prefab-key+count->rtd`
         (let* ([parent-rtd* (strip-impersonator parent-rtd)]
@@ -603,7 +605,8 @@
           ;; Finish checking and install new property values:
           (install-props! rtd parent-rtd* all-immutables)
           ;; Record inspector
-          (inspector-set! rtd insp)
+          (unless (pair? name) ; pair implies a system structure type
+            (inspector-set! rtd insp))
           ;; Register guard
           (register-guards! rtd parent-rtd guard 'at-start))))]))
 

racket/src/cs/schemified/io.scm

@@ -2631,10 +2631,10 @@
    #f
    11
    2047))
-(define effect_2883
+(define effect_2467
   (struct-type-install-properties!
    struct:sandman
-   'sandman
+   '(sandman)
    11
    0
    #f
@@ -3598,10 +3598,10 @@
    #f
    2
    0))
-(define effect_2383
+(define effect_2305
   (struct-type-install-properties!
    struct:exts
-   'exts
+   '(exts)
    2
    0
    #f
@@ -3891,10 +3891,10 @@
    #f
    7
    124))
-(define effect_2716
+(define effect_2672
   (struct-type-install-properties!
    struct:core-port
-   'core-port
+   '(core-port)
    7
    0
    #f
@@ -3947,10 +3947,10 @@
    #f
    5
    0))
-(define effect_2750
+(define effect_2243
   (struct-type-install-properties!
    struct:core-port-methods.1
-   'core-port-methods
+   '(core-port-methods)
    5
    0
    #f
@@ -4083,10 +4083,10 @@
    #f
    3
    7))
-(define effect_3200
+(define effect_2315
   (struct-type-install-properties!
    struct:direct
-   'direct
+   '(direct)
    3
    0
    #f
@@ -4120,10 +4120,10 @@
    #f
    5
    31))
-(define effect_2872
+(define effect_2878
   (struct-type-install-properties!
    struct:location
-   'location
+   '(location)
    5
    0
    #f
@@ -4227,10 +4227,10 @@
    #f
    2
    3))
-(define effect_2614
+(define effect_2934
   (struct-type-install-properties!
    struct:core-input-port
-   'core-input-port
+   '(core-input-port)
    2
    0
    struct:core-port
@@ -4302,10 +4302,10 @@
    #f
    6
    0))
-(define effect_3216
+(define effect_2804
   (struct-type-install-properties!
    struct:core-input-port-methods.1
-   'core-input-port-methods
+   '(core-input-port-methods)
    6
    0
    struct:core-port-methods.1
@@ -4546,10 +4546,10 @@
    #f
    4
    15))
-(define effect_2619
+(define effect_2929
   (struct-type-install-properties!
    struct:core-output-port
-   'core-output-port
+   '(core-output-port)
    4
    0
    struct:core-port
@@ -4622,10 +4622,10 @@
    #f
    4
    0))
-(define effect_2581
+(define effect_2086
   (struct-type-install-properties!
    struct:core-output-port-methods.1
-   'core-output-port-methods
+   '(core-output-port-methods)
    4
    0
    struct:core-port-methods.1
@@ -4793,10 +4793,10 @@
    #f
    1
    0))
-(define effect_2681
+(define effect_2624
   (struct-type-install-properties!
    struct:write-evt
-   'write-evt
+   '(write-evt)
    1
    0
    #f
@@ -4865,10 +4865,10 @@
    #f
    3
    0))
-(define effect_2417
+(define effect_2392
   (struct-type-install-properties!
    struct:utf-8-state
-   'utf-8-state
+   '(utf-8-state)
    3
    0
    #f
@@ -6692,10 +6692,10 @@
    #f
    3
    0))
-(define effect_3024
+(define effect_2778
   (struct-type-install-properties!
    struct:commit-manager
-   'commit-manager
+   '(commit-manager)
    3
    0
    #f
@@ -6783,10 +6783,10 @@
    #f
    5
    0))
-(define effect_2327
+(define effect_2971
   (struct-type-install-properties!
    struct:commit-request
-   'commit-request
+   '(commit-request)
    5
    0
    #f
@@ -6908,10 +6908,10 @@
    #f
    2
    0))
-(define effect_2424
+(define effect_2630
   (struct-type-install-properties!
    struct:commit-response
-   'commit-response
+   '(commit-response)
    2
    0
    #f
@@ -7226,10 +7226,10 @@
    #f
    2
    3))
-(define effect_2713
+(define effect_2923
   (struct-type-install-properties!
    struct:commit-input-port
-   'commit-input-port
+   '(commit-input-port)
    2
    0
    struct:core-input-port
@@ -7271,10 +7271,10 @@
    #f
    0
    0))
-(define effect_2628
+(define effect_1933
   (struct-type-install-properties!
    struct:commit-input-port-methods.1
-   'commit-input-port-methods
+   '(commit-input-port-methods)
    0
    0
    struct:core-input-port-methods.1
@@ -7446,10 +7446,10 @@
    #f
    16
    65534))
-(define effect_3136
+(define effect_2761
   (struct-type-install-properties!
    struct:pipe-data
-   'pipe-data
+   '(pipe-data)
    16
    0
    #f
@@ -7548,10 +7548,10 @@
    #f
    0
    0))
-(define effect_2891
+(define effect_2809
   (struct-type-install-properties!
    struct:pipe-data-methods.1
-   'pipe-data-methods
+   '(pipe-data-methods)
    0
    0
    #f
@@ -7682,10 +7682,10 @@
    #f
    1
    1))
-(define effect_2367
+(define effect_1840
   (struct-type-install-properties!
    struct:pipe-input-port
-   'pipe-input-port
+   '(pipe-input-port)
    1
    0
    struct:commit-input-port
@@ -7715,10 +7715,10 @@
    #f
    0
    0))
-(define effect_2379
+(define effect_3026
   (struct-type-install-properties!
    struct:pipe-input-port-methods.1
-   'pipe-input-port-methods
+   '(pipe-input-port-methods)
    0
    0
    struct:commit-input-port-methods.1
@@ -8078,10 +8078,10 @@
    #f
    1
    1))
-(define effect_2458
+(define effect_3143
   (struct-type-install-properties!
    struct:pipe-output-port
-   'pipe-output-port
+   '(pipe-output-port)
    1
    0
    struct:core-output-port
@@ -8113,10 +8113,10 @@
    #f
    0
    0))
-(define effect_2137
+(define effect_2754
   (struct-type-install-properties!
    struct:pipe-output-port-methods.1
-   'pipe-output-port-methods
+   '(pipe-output-port-methods)
    0
    0
    struct:core-output-port-methods.1
@@ -8690,10 +8690,10 @@
    #f
    1
    0))
-(define effect_2371
+(define effect_2496
   (struct-type-install-properties!
    struct:pipe-write-poller
-   'pipe-write-poller
+   '(pipe-write-poller)
    1
    0
    #f
@@ -8775,10 +8775,10 @@
    #f
    1
    0))
-(define effect_2439
+(define effect_2898
   (struct-type-install-properties!
    struct:pipe-read-poller
-   'pipe-read-poller
+   '(pipe-read-poller)
    1
    0
    #f
@@ -8860,10 +8860,10 @@
    #f
    5
    31))
-(define effect_2246
+(define effect_2594
   (struct-type-install-properties!
    struct:peek-via-read-input-port
-   'peek-via-read-input-port
+   '(peek-via-read-input-port)
    5
    0
    struct:commit-input-port
@@ -8934,10 +8934,10 @@
    #f
    1
    0))
-(define effect_2651
+(define effect_2499
   (struct-type-install-properties!
    struct:peek-via-read-input-port-methods.1
-   'peek-via-read-input-port-methods
+   '(peek-via-read-input-port-methods)
    1
    0
    struct:commit-input-port-methods.1
@@ -9640,10 +9640,10 @@
    #f
    3
    7))
-(define effect_2195
+(define effect_2353
   (struct-type-install-properties!
    struct:fd-input-port
-   'fd-input-port
+   '(fd-input-port)
    3
    0
    struct:peek-via-read-input-port
@@ -9694,10 +9694,10 @@
    #f
    2
    0))
-(define effect_2334
+(define effect_2026
   (struct-type-install-properties!
    struct:fd-input-port-methods.1
-   'fd-input-port-methods
+   '(fd-input-port-methods)
    2
    0
    struct:peek-via-read-input-port-methods.1
@@ -9948,10 +9948,10 @@
    #f
    8
    255))
-(define effect_2068
+(define effect_2985
   (struct-type-install-properties!
    struct:fd-output-port
-   'fd-output-port
+   '(fd-output-port)
    8
    0
    struct:core-output-port
@@ -10060,10 +10060,10 @@
    #f
    2
    0))
-(define effect_2413
+(define effect_2747
   (struct-type-install-properties!
    struct:fd-output-port-methods.1
-   'fd-output-port-methods
+   '(fd-output-port-methods)
    2
    0
    struct:core-output-port-methods.1
@@ -10661,10 +10661,10 @@
    #f
    3
    4))
-(define effect_2551
+(define effect_2106
   (struct-type-install-properties!
    struct:fd-evt
-   'fd-evt
+   '(fd-evt)
    3
    0
    #f
@@ -10800,10 +10800,10 @@
    #f
    1
    0))
-(define effect_2495
+(define effect_1965
   (struct-type-install-properties!
    struct:rktio-fd-flushed-evt
-   'rktio-fd-flushed-evt
+   '(rktio-fd-flushed-evt)
    1
    0
    #f
@@ -11592,10 +11592,10 @@
    #f
    2
    0))
-(define effect_2813
+(define effect_2746
   (struct-type-install-properties!
    struct:progress-evt
-   'progress-evt
+   '(progress-evt)
    2
    0
    #f
@@ -14915,10 +14915,10 @@
    #f
    2
    0))
-(define effect_2723
+(define effect_2854
   (struct-type-install-properties!
    struct:utf-8-converter
-   'utf-8-converter
+   '(utf-8-converter)
    2
    0
    #f
@@ -15849,10 +15849,10 @@
    #f
    2
    3))
-(define effect_2529
+(define effect_2513
   (struct-type-install-properties!
    struct:bytes-converter
-   'bytes-converter
+   '(bytes-converter)
    2
    0
    #f
@@ -16726,10 +16726,10 @@
    #f
    4
    15))
-(define effect_2666
+(define effect_2505
   (struct-type-install-properties!
    struct:cache
-   'cache
+   '(cache)
    4
    0
    #f
@@ -17100,10 +17100,10 @@
    #f
    2
    0))
-(define effect_2481
+(define effect_2269
   (struct-type-install-properties!
    struct:path
-   'path
+   '(path)
    2
    0
    #f
@@ -18402,10 +18402,10 @@
    #f
    3
    7))
-(define effect_2730
+(define effect_2303
   (struct-type-install-properties!
    struct:bytes-input-port
-   'bytes-input-port
+   '(bytes-input-port)
    3
    0
    struct:commit-input-port
@@ -18451,10 +18451,10 @@
    #f
    0
    0))
-(define effect_2624
+(define effect_2574
   (struct-type-install-properties!
    struct:bytes-input-port-methods.1
-   'bytes-input-port-methods
+   '(bytes-input-port-methods)
    0
    0
    struct:commit-input-port-methods.1
@@ -18682,10 +18682,10 @@
    #f
    3
    7))
-(define effect_2717
+(define effect_2607
   (struct-type-install-properties!
    struct:bytes-output-port
-   'bytes-output-port
+   '(bytes-output-port)
    3
    0
    struct:core-output-port
@@ -18735,10 +18735,10 @@
    #f
    2
    0))
-(define effect_2372
+(define effect_2007
   (struct-type-install-properties!
    struct:bytes-output-port-methods.1
-   'bytes-output-port-methods
+   '(bytes-output-port-methods)
    2
    0
    struct:core-output-port-methods.1
@@ -19188,10 +19188,10 @@
    #f
    2
    3))
-(define effect_3238
+(define effect_2654
   (struct-type-install-properties!
    struct:max-output-port
-   'max-output-port
+   '(max-output-port)
    2
    0
    struct:core-output-port
@@ -19229,10 +19229,10 @@
    #f
    0
    0))
-(define effect_2860
+(define effect_2484
   (struct-type-install-properties!
    struct:max-output-port-methods.1
-   'max-output-port-methods
+   '(max-output-port-methods)
    0
    0
    struct:core-output-port-methods.1
@@ -20151,10 +20151,10 @@
    #f
    0
    0))
-(define effect_2671
+(define effect_2498
   (struct-type-install-properties!
    struct:nowhere-output-port
-   'nowhere-output-port
+   '(nowhere-output-port)
    0
    0
    struct:core-output-port
@@ -20182,10 +20182,10 @@
    #f
    0
    0))
-(define effect_2396
+(define effect_2432
   (struct-type-install-properties!
    struct:nowhere-output-port-methods.1
-   'nowhere-output-port-methods
+   '(nowhere-output-port-methods)
    0
    0
    struct:core-output-port-methods.1
@@ -20429,10 +20429,10 @@
    #f
    1
    0))
-(define effect_2971
+(define effect_2500
   (struct-type-install-properties!
    struct:as-constructor
-   'as-constructor
+   '(as-constructor)
    1
    0
    #f
@@ -23427,10 +23427,10 @@
    #f
    7
    0))
-(define effect_2720
+(define effect_2733
   (struct-type-install-properties!
    struct:starting-point
-   'starting-point
+   '(starting-point)
    7
    0
    #f
@@ -25409,10 +25409,10 @@
    #f
    4
    0))
-(define effect_2690
+(define effect_2725
   (struct-type-install-properties!
    struct:security-guard
-   'security-guard
+   '(security-guard)
    4
    0
    #f
@@ -29810,7 +29810,7 @@
             (current-directory$1))
           '()
           hash2725))))))
-(define effect_2315
+(define effect_2316
   (begin (void (begin-unsafe (set! simplify-path/dl 1/simplify-path))) (void)))
 (define bytes-no-nuls?
   (lambda (s_0)
@@ -29864,10 +29864,10 @@
    #f
    1
    1))
-(define effect_2652
+(define effect_2324
   (struct-type-install-properties!
    struct:environment-variables
-   'environment-variables
+   '(environment-variables)
    1
    0
    #f
@@ -31596,10 +31596,10 @@
    #f
    11
    376))
-(define effect_2192
+(define effect_2502
   (struct-type-install-properties!
    struct:logger
-   'logger
+   '(logger)
    11
    0
    #f
@@ -32067,10 +32067,10 @@
    #f
    2
    3))
-(define effect_2520
+(define effect_2212
   (struct-type-install-properties!
    struct:queue
-   'queue
+   '(queue)
    2
    0
    #f
@@ -32101,10 +32101,10 @@
    #f
    3
    6))
-(define effect_2547
+(define effect_2737
   (struct-type-install-properties!
    struct:node
-   'node
+   '(node)
    3
    0
    #f
@@ -32165,10 +32165,10 @@
    #f
    1
    0))
-(define effect_2708
+(define effect_2818
   (struct-type-install-properties!
    struct:log-receiver
-   'log-receiver
+   '(log-receiver)
    1
    0
    #f
@@ -32223,10 +32223,10 @@
    #f
    3
    0))
-(define effect_2181
+(define effect_2203
   (struct-type-install-properties!
    struct:queue-log-receiver
-   'log-receiver
+   '(log-receiver)
    3
    0
    struct:log-receiver
@@ -32404,10 +32404,10 @@
    #f
    2
    0))
-(define effect_2592
+(define effect_1964
   (struct-type-install-properties!
    struct:stdio-log-receiver
-   'stdio-log-receiver
+   '(stdio-log-receiver)
    2
    0
    struct:log-receiver
@@ -32550,10 +32550,10 @@
    #f
    2
    0))
-(define effect_2241
+(define effect_2057
   (struct-type-install-properties!
    struct:syslog-log-receiver
-   'syslog-log-receiver
+   '(syslog-log-receiver)
    2
    0
    struct:log-receiver
@@ -33516,10 +33516,10 @@
    #f
    2
    3))
-(define effect_2322
+(define effect_2420
   (struct-type-install-properties!
    struct:fs-change-evt
-   'filesystem-change-evt
+   '(filesystem-change-evt)
    2
    0
    #f
@@ -34018,10 +34018,10 @@
    #f
    3
    3))
-(define effect_2272
+(define effect_2643
   (struct-type-install-properties!
    struct:subprocess
-   'subprocess
+   '(subprocess)
    3
    0
    #f
@@ -34895,10 +34895,10 @@
    #f
    1
    1))
-(define effect_3035
+(define effect_2557
   (struct-type-install-properties!
    struct:tcp-input-port
-   'tcp-input-port
+   '(tcp-input-port)
    1
    0
    struct:fd-input-port
@@ -34936,10 +34936,10 @@
    #f
    0
    0))
-(define effect_2838
+(define effect_2306
   (struct-type-install-properties!
    struct:tcp-input-port-methods.1
-   'tcp-input-port-methods
+   '(tcp-input-port-methods)
    0
    0
    struct:fd-input-port-methods.1
@@ -35072,10 +35072,10 @@
    #f
    1
    1))
-(define effect_2595
+(define effect_2686
   (struct-type-install-properties!
    struct:tcp-output-port
-   'tcp-output-port
+   '(tcp-output-port)
    1
    0
    struct:fd-output-port
@@ -35115,10 +35115,10 @@
    #f
    0
    0))
-(define effect_2727
+(define effect_2463
   (struct-type-install-properties!
    struct:tcp-output-port-methods.1
-   'tcp-output-port-methods
+   '(tcp-output-port-methods)
    0
    0
    struct:fd-output-port-methods.1
@@ -35272,10 +35272,10 @@
    #f
    2
    0))
-(define effect_2914
+(define effect_2460
   (struct-type-install-properties!
    struct:rktio-evt
-   'rktio-evt
+   '(rktio-evt)
    2
    0
    #f
@@ -35463,10 +35463,10 @@
    #f
    2
    3))
-(define effect_2403
+(define effect_2123
   (struct-type-install-properties!
    struct:connect-progress
-   'connect-progress
+   '(connect-progress)
    2
    0
    #f
@@ -35842,10 +35842,10 @@
    #f
    3
    0))
-(define effect_2611
+(define effect_2228
   (struct-type-install-properties!
    struct:tcp-listener
-   'tcp-listener
+   '(tcp-listener)
    3
    0
    #f
@@ -36225,10 +36225,10 @@
    #f
    1
    0))
-(define effect_2325
+(define effect_2314
   (struct-type-install-properties!
    struct:accept-evt
-   'tcp-accept-evt
+   '(tcp-accept-evt)
    1
    0
    #f
@@ -36389,10 +36389,10 @@
       (args (raise-binding-result-arity-error 2 args))))))
 (define struct:udp
   (make-record-type-descriptor* 'udp #f (|#%nongenerative-uid| udp) #f #f 3 7))
-(define effect_2368
+(define effect_2285
   (struct-type-install-properties!
    struct:udp
-   'udp
+   '(udp)
    3
    0
    #f
@@ -37570,10 +37570,10 @@
    #f
    2
    0))
-(define effect_2348
+(define effect_2811
   (struct-type-install-properties!
    struct:udp-sending-evt
-   'udp-send-evt
+   '(udp-send-evt)
    2
    0
    #f
@@ -37627,10 +37627,10 @@
    #f
    0
    0))
-(define effect_3038
+(define effect_2766
   (struct-type-install-properties!
    struct:udp-sending-ready-evt
-   'udp-send-ready-evt
+   '(udp-send-ready-evt)
    0
    0
    struct:rktio-evt
@@ -37959,10 +37959,10 @@
    #f
    2
    0))
-(define effect_2847
+(define effect_3133
   (struct-type-install-properties!
    struct:udp-receiving-evt
-   'udp-receive-evt
+   '(udp-receive-evt)
    2
    0
    #f
@@ -38021,10 +38021,10 @@
    #f
    0
    0))
-(define effect_2341
+(define effect_2191
   (struct-type-install-properties!
    struct:udp-receiving-ready-evt
-   'udp-receive-ready-evt
+   '(udp-receive-ready-evt)
    0
    0
    struct:rktio-evt

racket/src/cs/schemified/known.scm

@@ -143,10 +143,10 @@
    #f
    0
    0))
-(define effect_2431
+(define effect_2175
   (struct-type-install-properties!
    struct:known-constant
-   'known-constant
+   '(known-constant)
    0
    0
    #f
@@ -192,10 +192,10 @@
    #f
    0
    0))
-(define effect_2525
+(define effect_2225
   (struct-type-install-properties!
    struct:known-consistent
-   'known-consistent
+   '(known-consistent)
    0
    0
    (if (struct-type? struct:known-constant)
@@ -243,10 +243,10 @@
    #f
    0
    0))
-(define effect_2733
+(define effect_3179
   (struct-type-install-properties!
    struct:known-authentic
-   'known-authentic
+   '(known-authentic)
    0
    0
    (if (struct-type? struct:known-constant)
@@ -294,10 +294,10 @@
    #f
    1
    1))
-(define effect_2848
+(define effect_1974
   (struct-type-install-properties!
    struct:known-copy
-   'known-copy
+   '(known-copy)
    1
    0
    (if (struct-type? struct:known-constant)
@@ -359,10 +359,10 @@
    #f
    1
    1))
-(define effect_2418
+(define effect_2741
   (struct-type-install-properties!
    struct:known-literal
-   'known-literal
+   '(known-literal)
    1
    0
    (if (struct-type? struct:known-consistent)
@@ -426,10 +426,10 @@
    #f
    1
    1))
-(define effect_2727
+(define effect_1867
   (struct-type-install-properties!
    struct:known-procedure
-   'known-procedure
+   '(known-procedure)
    1
    0
    (if (struct-type? struct:known-consistent)
@@ -495,10 +495,10 @@
    #f
    0
    0))
-(define effect_3076
+(define effect_2708
   (struct-type-install-properties!
    struct:known-procedure/single-valued
-   'known-procedure/single-valued
+   '(known-procedure/single-valued)
    0
    0
    (if (struct-type? struct:known-procedure)
@@ -551,10 +551,10 @@
    #f
    0
    0))
-(define effect_2720
+(define effect_2348
   (struct-type-install-properties!
    struct:known-procedure/no-prompt
-   'known-procedure/no-prompt
+   '(known-procedure/no-prompt)
    0
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -607,10 +607,10 @@
    #f
    0
    0))
-(define effect_2928
+(define effect_2331
   (struct-type-install-properties!
    struct:known-procedure/no-prompt/multi
-   'known-procedure/no-prompt/multi
+   '(known-procedure/no-prompt/multi)
    0
    0
    (if (struct-type? struct:known-procedure)
@@ -663,10 +663,10 @@
    #f
    0
    0))
-(define effect_2574
+(define effect_2377
   (struct-type-install-properties!
    struct:known-procedure/no-return
-   'known-procedure/no-return
+   '(known-procedure/no-return)
    0
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -719,10 +719,10 @@
    #f
    1
    1))
-(define effect_2566
+(define effect_2149
   (struct-type-install-properties!
    struct:known-procedure/can-inline
-   'known-procedure/can-inline
+   '(known-procedure/can-inline)
    1
    0
    (if (struct-type? struct:known-procedure)
@@ -793,10 +793,10 @@
    #f
    1
    1))
-(define effect_2249
+(define effect_2717
   (struct-type-install-properties!
    struct:known-procedure/can-inline/need-imports
-   'known-procedure/can-inline/need-imports
+   '(known-procedure/can-inline/need-imports)
    1
    0
    (if (struct-type? struct:known-procedure/can-inline)
@@ -867,10 +867,10 @@
    #f
    0
    0))
-(define effect_2382
+(define effect_2516
   (struct-type-install-properties!
    struct:known-procedure/folding
-   'known-procedure/folding
+   '(known-procedure/folding)
    0
    0
    (if (struct-type? struct:known-procedure/no-prompt)
@@ -923,10 +923,10 @@
    #f
    1
    1))
-(define effect_2255
+(define effect_2551
   (struct-type-install-properties!
    struct:known-procedure/folding/limited
-   'known-procedure/folding/limited
+   '(known-procedure/folding/limited)
    1
    0
    (if (struct-type? struct:known-procedure/folding)
@@ -997,10 +997,10 @@
    #f
    0
    0))
-(define effect_2403
+(define effect_2332
   (struct-type-install-properties!
    struct:known-procedure/succeeds
-   'known-procedure/succeeds
+   '(known-procedure/succeeds)
    0
    0
    (if (struct-type? struct:known-procedure/no-prompt)
@@ -1053,10 +1053,10 @@
    #f
    0
    0))
-(define effect_2234
+(define effect_2307
   (struct-type-install-properties!
    struct:known-procedure/allocates
-   'known-procedure/allocates
+   '(known-procedure/allocates)
    0
    0
    (if (struct-type? struct:known-procedure/succeeds)
@@ -1109,10 +1109,10 @@
    #f
    0
    0))
-(define effect_2568
+(define effect_2394
   (struct-type-install-properties!
    struct:known-procedure/pure
-   'known-procedure/pure
+   '(known-procedure/pure)
    0
    0
    (if (struct-type? struct:known-procedure/allocates)
@@ -1162,10 +1162,10 @@
    #f
    0
    0))
-(define effect_2204
+(define effect_2781
   (struct-type-install-properties!
    struct:known-procedure/pure/folding
-   'known-procedure/pure/folding
+   '(known-procedure/pure/folding)
    0
    0
    (if (struct-type? struct:known-procedure/pure)
@@ -1218,10 +1218,10 @@
    #f
    1
    1))
-(define effect_2430
+(define effect_2709
   (struct-type-install-properties!
    struct:known-procedure/pure/folding-unsafe
-   'known-procedure/pure/folding-unsafe
+   '(known-procedure/pure/folding-unsafe)
    1
    0
    (if (struct-type? struct:known-procedure/pure/folding)
@@ -1292,10 +1292,10 @@
    #f
    1
    1))
-(define effect_2420
+(define effect_2998
   (struct-type-install-properties!
    struct:known-procedure/has-unsafe
-   'known-procedure/has-unsafe
+   '(known-procedure/has-unsafe)
    1
    0
    (if (struct-type? struct:known-procedure/no-prompt)
@@ -1366,10 +1366,10 @@
    #f
    0
    0))
-(define effect_1752
+(define effect_2584
   (struct-type-install-properties!
    struct:known-procedure/has-unsafe/folding
-   'known-procedure/has-unsafe/folding
+   '(known-procedure/has-unsafe/folding)
    0
    0
    (if (struct-type? struct:known-procedure/has-unsafe)
@@ -1422,10 +1422,10 @@
    #f
    1
    1))
-(define effect_2526
+(define effect_2633
   (struct-type-install-properties!
    struct:known-procedure/has-unsafe/folding/limited
-   'known-procedure/has-unsafe/folding/limited
+   '(known-procedure/has-unsafe/folding/limited)
    1
    0
    (if (struct-type? struct:known-procedure/has-unsafe/folding)
@@ -1497,10 +1497,10 @@
    #f
    3
    7))
-(define effect_2722
+(define effect_2547
   (struct-type-install-properties!
    struct:known-struct-type
-   'known-struct-type
+   '(known-struct-type)
    3
    0
    (if (struct-type? struct:known-consistent)
@@ -1602,10 +1602,10 @@
    #f
    1
    1))
-(define effect_2907
+(define effect_2090
   (struct-type-install-properties!
    struct:known-constructor
-   'known-constructor
+   '(known-constructor)
    1
    0
    (if (struct-type? struct:known-procedure/allocates)
@@ -1671,10 +1671,10 @@
    #f
    1
    1))
-(define effect_2630
+(define effect_2975
   (struct-type-install-properties!
    struct:known-predicate
-   'known-predicate
+   '(known-predicate)
    1
    0
    (if (struct-type? struct:known-procedure/pure)
@@ -1738,10 +1738,10 @@
    #f
    1
    1))
-(define effect_2802
+(define effect_2542
   (struct-type-install-properties!
    struct:known-accessor
-   'known-accessor
+   '(known-accessor)
    1
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -1805,10 +1805,10 @@
    #f
    1
    1))
-(define effect_2101
+(define effect_2533
   (struct-type-install-properties!
    struct:known-mutator
-   'known-mutator
+   '(known-mutator)
    1
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -1872,10 +1872,10 @@
    #f
    1
    1))
-(define effect_3019
+(define effect_2411
   (struct-type-install-properties!
    struct:known-struct-constructor
-   'known-struct-constructor
+   '(known-struct-constructor)
    1
    0
    (if (struct-type? struct:known-constructor)
@@ -1949,7 +1949,7 @@
 (define effect_2929
   (struct-type-install-properties!
    struct:known-struct-predicate
-   'known-struct-predicate
+   '(known-struct-predicate)
    2
    0
    (if (struct-type? struct:known-predicate)
@@ -2035,10 +2035,10 @@
    #f
    4
    15))
-(define effect_2706
+(define effect_2971
   (struct-type-install-properties!
    struct:known-field-accessor
-   'known-field-accessor
+   '(known-field-accessor)
    4
    0
    (if (struct-type? struct:known-accessor)
@@ -2160,10 +2160,10 @@
    #f
    3
    7))
-(define effect_3046
+(define effect_2493
   (struct-type-install-properties!
    struct:known-field-mutator
-   'known-field-mutator
+   '(known-field-mutator)
    3
    0
    (if (struct-type? struct:known-mutator)
@@ -2267,10 +2267,10 @@
    #f
    1
    1))
-(define effect_2765
+(define effect_3135
   (struct-type-install-properties!
    struct:known-struct-constructor/need-imports
-   'known-struct-constructor/need-imports
+   '(known-struct-constructor/need-imports)
    1
    0
    (if (struct-type? struct:known-struct-constructor)
@@ -2341,10 +2341,10 @@
    #f
    1
    1))
-(define effect_2432
+(define effect_2453
   (struct-type-install-properties!
    struct:known-struct-predicate/need-imports
-   'known-struct-predicate/need-imports
+   '(known-struct-predicate/need-imports)
    1
    0
    (if (struct-type? struct:known-struct-predicate)
@@ -2415,10 +2415,10 @@
    #f
    1
    1))
-(define effect_2891
+(define effect_2353
   (struct-type-install-properties!
    struct:known-field-accessor/need-imports
-   'known-field-accessor/need-imports
+   '(known-field-accessor/need-imports)
    1
    0
    (if (struct-type? struct:known-field-accessor)
@@ -2489,10 +2489,10 @@
    #f
    1
    1))
-(define effect_2824
+(define effect_2148
   (struct-type-install-properties!
    struct:known-field-mutator/need-imports
-   'known-field-mutator/need-imports
+   '(known-field-mutator/need-imports)
    1
    0
    (if (struct-type? struct:known-field-mutator)
@@ -2559,10 +2559,10 @@
    #f
    0
    0))
-(define effect_2752
+(define effect_2693
   (struct-type-install-properties!
    struct:known-struct-type-property/immediate-guard
-   'known-struct-type-property/immediate-guard
+   '(known-struct-type-property/immediate-guard)
    0
    0
    #f

racket/src/cs/schemified/regexp.scm

@@ -874,10 +874,10 @@
    #f
    2
    0))
-(define effect_2665
+(define effect_1936
   (struct-type-install-properties!
    struct:rx:alts
-   'rx:alts
+   '(rx:alts)
    2
    0
    #f
@@ -930,10 +930,10 @@
    #f
    2
    0))
-(define effect_2137
+(define effect_2662
   (struct-type-install-properties!
    struct:rx:sequence
-   'rx:sequence
+   '(rx:sequence)
    2
    0
    #f
@@ -1001,10 +1001,10 @@
    #f
    2
    0))
-(define effect_2340
+(define effect_3021
   (struct-type-install-properties!
    struct:rx:group
-   'rx:group
+   '(rx:group)
    2
    0
    #f
@@ -1069,10 +1069,10 @@
    #f
    4
    0))
-(define effect_2551
+(define effect_2413
   (struct-type-install-properties!
    struct:rx:repeat
-   'rx:repeat
+   '(rx:repeat)
    4
    0
    #f
@@ -1170,10 +1170,10 @@
    #f
    2
    0))
-(define effect_2619
+(define effect_1615
   (struct-type-install-properties!
    struct:rx:maybe
-   'rx:maybe
+   '(rx:maybe)
    2
    0
    #f
@@ -1238,10 +1238,10 @@
    #f
    6
    0))
-(define effect_2459
+(define effect_2714
   (struct-type-install-properties!
    struct:rx:conditional
-   'rx:conditional
+   '(rx:conditional)
    6
    0
    #f
@@ -1375,10 +1375,10 @@
    #f
    4
    0))
-(define effect_2324
+(define effect_2193
   (struct-type-install-properties!
    struct:rx:lookahead
-   'rx:lookahead
+   '(rx:lookahead)
    4
    0
    #f
@@ -1478,10 +1478,10 @@
    #f
    6
    12))
-(define effect_2263
+(define effect_2578
   (struct-type-install-properties!
    struct:rx:lookbehind
-   'rx:lookbehind
+   '(rx:lookbehind)
    6
    0
    #f
@@ -1649,10 +1649,10 @@
    #f
    4
    0))
-(define effect_2942
+(define effect_2428
   (struct-type-install-properties!
    struct:rx:cut
-   'rx:cut
+   '(rx:cut)
    4
    0
    #f
@@ -1742,10 +1742,10 @@
    #f
    2
    0))
-(define effect_2344
+(define effect_2572
   (struct-type-install-properties!
    struct:rx:reference
-   'rx:reference
+   '(rx:reference)
    2
    0
    #f
@@ -1815,10 +1815,10 @@
    #f
    1
    0))
-(define effect_2702
+(define effect_2430
   (struct-type-install-properties!
    struct:rx:range
-   'rx:range
+   '(rx:range)
    1
    0
    #f
@@ -1867,10 +1867,10 @@
    #f
    2
    0))
-(define effect_2129
+(define effect_2489
   (struct-type-install-properties!
    struct:rx:unicode-categories
-   'rx:unicode-categories
+   '(rx:unicode-categories)
    2
    0
    #f
@@ -2138,10 +2138,10 @@
    #f
    7
    0))
-(define effect_2566
+(define effect_2522
   (struct-type-install-properties!
    struct:parse-config
-   'parse-config
+   '(parse-config)
    7
    0
    #f
@@ -4706,10 +4706,10 @@
    #f
    13
    3075))
-(define effect_2272
+(define effect_2409
   (struct-type-install-properties!
    struct:lazy-bytes
-   'lazy-bytes
+   '(lazy-bytes)
    13
    0
    #f
@@ -7251,10 +7251,10 @@
    #f
    10
    0))
-(define effect_2093
+(define effect_2528
   (struct-type-install-properties!
    struct:rx:regexp
-   'regexp
+   '(regexp)
    10
    0
    #f

racket/src/cs/schemified/schemify.scm

@@ -1966,10 +1966,10 @@
    #f
    0
    0))
-(define effect_2431
+(define effect_2175
   (struct-type-install-properties!
    struct:known-constant
-   'known-constant
+   '(known-constant)
    0
    0
    #f
@@ -2015,10 +2015,10 @@
    #f
    0
    0))
-(define effect_2525
+(define effect_2225
   (struct-type-install-properties!
    struct:known-consistent
-   'known-consistent
+   '(known-consistent)
    0
    0
    (if (struct-type? struct:known-constant)
@@ -2066,10 +2066,10 @@
    #f
    0
    0))
-(define effect_2733
+(define effect_3179
   (struct-type-install-properties!
    struct:known-authentic
-   'known-authentic
+   '(known-authentic)
    0
    0
    (if (struct-type? struct:known-constant)
@@ -2117,10 +2117,10 @@
    #f
    1
    1))
-(define effect_2848
+(define effect_1974
   (struct-type-install-properties!
    struct:known-copy
-   'known-copy
+   '(known-copy)
    1
    0
    (if (struct-type? struct:known-constant)
@@ -2182,10 +2182,10 @@
    #f
    1
    1))
-(define effect_2418
+(define effect_2741
   (struct-type-install-properties!
    struct:known-literal
-   'known-literal
+   '(known-literal)
    1
    0
    (if (struct-type? struct:known-consistent)
@@ -2249,10 +2249,10 @@
    #f
    1
    1))
-(define effect_2727
+(define effect_1867
   (struct-type-install-properties!
    struct:known-procedure
-   'known-procedure
+   '(known-procedure)
    1
    0
    (if (struct-type? struct:known-consistent)
@@ -2318,10 +2318,10 @@
    #f
    0
    0))
-(define effect_3076
+(define effect_2708
   (struct-type-install-properties!
    struct:known-procedure/single-valued
-   'known-procedure/single-valued
+   '(known-procedure/single-valued)
    0
    0
    (if (struct-type? struct:known-procedure)
@@ -2374,10 +2374,10 @@
    #f
    0
    0))
-(define effect_2720
+(define effect_2348
   (struct-type-install-properties!
    struct:known-procedure/no-prompt
-   'known-procedure/no-prompt
+   '(known-procedure/no-prompt)
    0
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -2430,10 +2430,10 @@
    #f
    0
    0))
-(define effect_2928
+(define effect_2331
   (struct-type-install-properties!
    struct:known-procedure/no-prompt/multi
-   'known-procedure/no-prompt/multi
+   '(known-procedure/no-prompt/multi)
    0
    0
    (if (struct-type? struct:known-procedure)
@@ -2486,10 +2486,10 @@
    #f
    0
    0))
-(define effect_2574
+(define effect_2377
   (struct-type-install-properties!
    struct:known-procedure/no-return
-   'known-procedure/no-return
+   '(known-procedure/no-return)
    0
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -2542,10 +2542,10 @@
    #f
    1
    1))
-(define effect_2566
+(define effect_2149
   (struct-type-install-properties!
    struct:known-procedure/can-inline
-   'known-procedure/can-inline
+   '(known-procedure/can-inline)
    1
    0
    (if (struct-type? struct:known-procedure)
@@ -2616,10 +2616,10 @@
    #f
    1
    1))
-(define effect_2249
+(define effect_2717
   (struct-type-install-properties!
    struct:known-procedure/can-inline/need-imports
-   'known-procedure/can-inline/need-imports
+   '(known-procedure/can-inline/need-imports)
    1
    0
    (if (struct-type? struct:known-procedure/can-inline)
@@ -2690,10 +2690,10 @@
    #f
    0
    0))
-(define effect_2382
+(define effect_2516
   (struct-type-install-properties!
    struct:known-procedure/folding
-   'known-procedure/folding
+   '(known-procedure/folding)
    0
    0
    (if (struct-type? struct:known-procedure/no-prompt)
@@ -2746,10 +2746,10 @@
    #f
    1
    1))
-(define effect_2255
+(define effect_2551
   (struct-type-install-properties!
    struct:known-procedure/folding/limited
-   'known-procedure/folding/limited
+   '(known-procedure/folding/limited)
    1
    0
    (if (struct-type? struct:known-procedure/folding)
@@ -2820,10 +2820,10 @@
    #f
    0
    0))
-(define effect_2403
+(define effect_2332
   (struct-type-install-properties!
    struct:known-procedure/succeeds
-   'known-procedure/succeeds
+   '(known-procedure/succeeds)
    0
    0
    (if (struct-type? struct:known-procedure/no-prompt)
@@ -2876,10 +2876,10 @@
    #f
    0
    0))
-(define effect_2234
+(define effect_2307
   (struct-type-install-properties!
    struct:known-procedure/allocates
-   'known-procedure/allocates
+   '(known-procedure/allocates)
    0
    0
    (if (struct-type? struct:known-procedure/succeeds)
@@ -2932,10 +2932,10 @@
    #f
    0
    0))
-(define effect_2568
+(define effect_2394
   (struct-type-install-properties!
    struct:known-procedure/pure
-   'known-procedure/pure
+   '(known-procedure/pure)
    0
    0
    (if (struct-type? struct:known-procedure/allocates)
@@ -2985,10 +2985,10 @@
    #f
    0
    0))
-(define effect_2204
+(define effect_2781
   (struct-type-install-properties!
    struct:known-procedure/pure/folding
-   'known-procedure/pure/folding
+   '(known-procedure/pure/folding)
    0
    0
    (if (struct-type? struct:known-procedure/pure)
@@ -3041,10 +3041,10 @@
    #f
    1
    1))
-(define effect_2430
+(define effect_2709
   (struct-type-install-properties!
    struct:known-procedure/pure/folding-unsafe
-   'known-procedure/pure/folding-unsafe
+   '(known-procedure/pure/folding-unsafe)
    1
    0
    (if (struct-type? struct:known-procedure/pure/folding)
@@ -3115,10 +3115,10 @@
    #f
    1
    1))
-(define effect_2420
+(define effect_2998
   (struct-type-install-properties!
    struct:known-procedure/has-unsafe
-   'known-procedure/has-unsafe
+   '(known-procedure/has-unsafe)
    1
    0
    (if (struct-type? struct:known-procedure/no-prompt)
@@ -3189,10 +3189,10 @@
    #f
    0
    0))
-(define effect_1752
+(define effect_2584
   (struct-type-install-properties!
    struct:known-procedure/has-unsafe/folding
-   'known-procedure/has-unsafe/folding
+   '(known-procedure/has-unsafe/folding)
    0
    0
    (if (struct-type? struct:known-procedure/has-unsafe)
@@ -3245,10 +3245,10 @@
    #f
    1
    1))
-(define effect_2526
+(define effect_2633
   (struct-type-install-properties!
    struct:known-procedure/has-unsafe/folding/limited
-   'known-procedure/has-unsafe/folding/limited
+   '(known-procedure/has-unsafe/folding/limited)
    1
    0
    (if (struct-type? struct:known-procedure/has-unsafe/folding)
@@ -3320,10 +3320,10 @@
    #f
    3
    7))
-(define effect_2722
+(define effect_2547
   (struct-type-install-properties!
    struct:known-struct-type
-   'known-struct-type
+   '(known-struct-type)
    3
    0
    (if (struct-type? struct:known-consistent)
@@ -3425,10 +3425,10 @@
    #f
    1
    1))
-(define effect_2907
+(define effect_2090
   (struct-type-install-properties!
    struct:known-constructor
-   'known-constructor
+   '(known-constructor)
    1
    0
    (if (struct-type? struct:known-procedure/allocates)
@@ -3494,10 +3494,10 @@
    #f
    1
    1))
-(define effect_2630
+(define effect_2975
   (struct-type-install-properties!
    struct:known-predicate
-   'known-predicate
+   '(known-predicate)
    1
    0
    (if (struct-type? struct:known-procedure/pure)
@@ -3561,10 +3561,10 @@
    #f
    1
    1))
-(define effect_2802
+(define effect_2542
   (struct-type-install-properties!
    struct:known-accessor
-   'known-accessor
+   '(known-accessor)
    1
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -3628,10 +3628,10 @@
    #f
    1
    1))
-(define effect_2101
+(define effect_2533
   (struct-type-install-properties!
    struct:known-mutator
-   'known-mutator
+   '(known-mutator)
    1
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -3695,10 +3695,10 @@
    #f
    1
    1))
-(define effect_3019
+(define effect_2411
   (struct-type-install-properties!
    struct:known-struct-constructor
-   'known-struct-constructor
+   '(known-struct-constructor)
    1
    0
    (if (struct-type? struct:known-constructor)
@@ -3772,7 +3772,7 @@
 (define effect_2929
   (struct-type-install-properties!
    struct:known-struct-predicate
-   'known-struct-predicate
+   '(known-struct-predicate)
    2
    0
    (if (struct-type? struct:known-predicate)
@@ -3858,10 +3858,10 @@
    #f
    4
    15))
-(define effect_2706
+(define effect_2971
   (struct-type-install-properties!
    struct:known-field-accessor
-   'known-field-accessor
+   '(known-field-accessor)
    4
    0
    (if (struct-type? struct:known-accessor)
@@ -3983,10 +3983,10 @@
    #f
    3
    7))
-(define effect_3046
+(define effect_2493
   (struct-type-install-properties!
    struct:known-field-mutator
-   'known-field-mutator
+   '(known-field-mutator)
    3
    0
    (if (struct-type? struct:known-mutator)
@@ -4090,10 +4090,10 @@
    #f
    1
    1))
-(define effect_2765
+(define effect_3135
   (struct-type-install-properties!
    struct:known-struct-constructor/need-imports
-   'known-struct-constructor/need-imports
+   '(known-struct-constructor/need-imports)
    1
    0
    (if (struct-type? struct:known-struct-constructor)
@@ -4164,10 +4164,10 @@
    #f
    1
    1))
-(define effect_2432
+(define effect_2453
   (struct-type-install-properties!
    struct:known-struct-predicate/need-imports
-   'known-struct-predicate/need-imports
+   '(known-struct-predicate/need-imports)
    1
    0
    (if (struct-type? struct:known-struct-predicate)
@@ -4238,10 +4238,10 @@
    #f
    1
    1))
-(define effect_2891
+(define effect_2353
   (struct-type-install-properties!
    struct:known-field-accessor/need-imports
-   'known-field-accessor/need-imports
+   '(known-field-accessor/need-imports)
    1
    0
    (if (struct-type? struct:known-field-accessor)
@@ -4312,10 +4312,10 @@
    #f
    1
    1))
-(define effect_2824
+(define effect_2148
   (struct-type-install-properties!
    struct:known-field-mutator/need-imports
-   'known-field-mutator/need-imports
+   '(known-field-mutator/need-imports)
    1
    0
    (if (struct-type? struct:known-field-mutator)
@@ -4382,10 +4382,10 @@
    #f
    0
    0))
-(define effect_2752
+(define effect_2693
   (struct-type-install-properties!
    struct:known-struct-type-property/immediate-guard
-   'known-struct-type-property/immediate-guard
+   '(known-struct-type-property/immediate-guard)
    0
    0
    #f
@@ -4444,10 +4444,10 @@
    #f
    4
    0))
-(define effect_2897
+(define effect_3124
   (struct-type-install-properties!
    struct:import
-   'import
+   '(import)
    4
    0
    #f
@@ -4531,10 +4531,10 @@
    #f
    6
    60))
-(define effect_2514
+(define effect_2534
   (struct-type-install-properties!
    struct:import-group
-   'import-group
+   '(import-group)
    6
    0
    #f
@@ -4901,10 +4901,10 @@
    #f
    2
    0))
-(define effect_2166
+(define effect_2393
   (struct-type-install-properties!
    struct:export
-   'export
+   '(export)
    2
    0
    #f
@@ -4962,10 +4962,10 @@
    #f
    2
    0))
-(define effect_2681
+(define effect_2424
   (struct-type-install-properties!
    struct:too-early
-   'too-early
+   '(too-early)
    2
    0
    #f
@@ -7271,10 +7271,10 @@
    #f
    10
    0))
-(define effect_3042
+(define effect_2476
   (struct-type-install-properties!
    struct:struct-type-info
-   'struct-type-info
+   '(struct-type-info)
    10
    0
    #f
@@ -17128,7 +17128,11 @@
                                      (let ((app_2
                                             (list
                                              'quote
-                                             (struct-type-info-name sti_0))))
+                                             (if system-opaque?_0
+                                               (list
+                                                (struct-type-info-name sti_0))
+                                               (struct-type-info-name
+                                                sti_0)))))
                                        (let ((app_3
                                               (struct-type-info-immediate-field-count
                                                sti_0)))
@@ -30276,10 +30280,10 @@
    #f
    4
    0))
-(define effect_2645
+(define effect_2536
   (struct-type-install-properties!
    struct:convert-mode
-   'convert-mode
+   '(convert-mode)
    4
    0
    #f
@@ -39416,10 +39420,10 @@
    #f
    3
    0))
-(define effect_3053
+(define effect_2468
   (struct-type-install-properties!
    struct:to-unfasl
-   'to-unfasl
+   '(to-unfasl)
    3
    0
    #f
@@ -39567,10 +39571,10 @@
    #f
    5
    0))
-(define effect_2498
+(define effect_2447
   (struct-type-install-properties!
    struct:node
-   'node
+   '(node)
    5
    0
    #f
@@ -39889,10 +39893,10 @@
    #f
    5
    28))
-(define effect_2396
+(define effect_2734
   (struct-type-install-properties!
    struct:stack-info
-   'stack-info
+   '(stack-info)
    5
    0
    #f
@@ -40247,10 +40251,10 @@
    #f
    2
    0))
-(define effect_2066
+(define effect_2736
   (struct-type-install-properties!
    struct:indirect
-   'indirect
+   '(indirect)
    2
    0
    #f
@@ -40315,10 +40319,10 @@
    #f
    1
    0))
-(define effect_2558
+(define effect_2333
   (struct-type-install-properties!
    struct:boxed
-   'boxed
+   '(boxed)
    1
    0
    #f
@@ -40360,10 +40364,10 @@
    #f
    0
    0))
-(define effect_2563
+(define effect_2358
   (struct-type-install-properties!
    struct:boxed/check
-   'boxed/check
+   '(boxed/check)
    0
    0
    struct:boxed

racket/src/cs/schemified/thread.scm

@@ -981,10 +981,10 @@
    #f
    2
    3))
-(define effect_2520
+(define effect_2212
   (struct-type-install-properties!
    struct:queue
-   'queue
+   '(queue)
    2
    0
    #f
@@ -1015,10 +1015,10 @@
    #f
    3
    6))
-(define effect_2809
+(define effect_2496
   (struct-type-install-properties!
    struct:node$2
-   'node
+   '(node)
    3
    0
    #f
@@ -1249,10 +1249,10 @@
    #f
    5
    0))
-(define effect_2451
+(define effect_1764
   (struct-type-install-properties!
    struct:node$1
-   'node
+   '(node)
    5
    0
    #f
@@ -1528,10 +1528,10 @@
    #f
    11
    2047))
-(define effect_2883
+(define effect_2467
   (struct-type-install-properties!
    struct:sandman
-   'sandman
+   '(sandman)
    11
    0
    #f
@@ -1986,10 +1986,10 @@
    #f
    1
    0))
-(define effect_2090
+(define effect_3012
   (struct-type-install-properties!
    struct:selector-prop-evt-value
-   'selector-prop-evt-value
+   '(selector-prop-evt-value)
    1
    0
    #f
@@ -2034,10 +2034,10 @@
    #f
    1
    0))
-(define effect_2384
+(define effect_2322
   (struct-type-install-properties!
    struct:poller
-   'poller
+   '(poller)
    1
    0
    #f
@@ -2063,10 +2063,10 @@
    #f
    4
    8))
-(define effect_3060
+(define effect_2873
   (struct-type-install-properties!
    struct:poll-ctx
-   'poll-ctx
+   '(poll-ctx)
    4
    0
    #f
@@ -2101,10 +2101,10 @@
    #f
    0
    0))
-(define effect_2812
+(define effect_2678
   (struct-type-install-properties!
    struct:never-evt
-   'never-evt
+   '(never-evt)
    0
    0
    #f
@@ -2142,10 +2142,10 @@
    #f
    0
    0))
-(define effect_2453
+(define effect_2666
   (struct-type-install-properties!
    struct:always-evt
-   'always-evt
+   '(always-evt)
    0
    0
    #f
@@ -2183,10 +2183,10 @@
    #f
    0
    0))
-(define effect_2629
+(define effect_2516
   (struct-type-install-properties!
    struct:async-evt
-   'async-evt
+   '(async-evt)
    0
    0
    #f
@@ -2217,10 +2217,10 @@
 (define the-async-evt (async-evt6.1))
 (define struct:wrap-evt
   (make-record-type-descriptor* 'evt #f (|#%nongenerative-uid| evt) #f #f 2 0))
-(define effect_2319
+(define effect_2243
   (struct-type-install-properties!
    struct:wrap-evt
-   'evt
+   '(evt)
    2
    0
    #f
@@ -2282,10 +2282,10 @@
    #f
    0
    0))
-(define effect_2329
+(define effect_2575
   (struct-type-install-properties!
    struct:handle-evt
-   'handle-evt
+   '(handle-evt)
    0
    0
    struct:wrap-evt
@@ -2321,10 +2321,10 @@
    #f
    5
    0))
-(define effect_2665
+(define effect_2497
   (struct-type-install-properties!
    struct:control-state-evt
-   'control-state-evt
+   '(control-state-evt)
    5
    0
    #f
@@ -2446,10 +2446,10 @@
          'retry-proc))))))
 (define struct:poll-guard-evt
   (make-record-type-descriptor* 'evt #f (|#%nongenerative-uid| evt) #f #f 1 0))
-(define effect_2393
+(define effect_2340
   (struct-type-install-properties!
    struct:poll-guard-evt
-   'evt
+   '(evt)
    1
    0
    #f
@@ -2497,10 +2497,10 @@
          'proc))))))
 (define struct:choice-evt
   (make-record-type-descriptor* 'evt #f (|#%nongenerative-uid| evt) #f #f 1 0))
-(define effect_2512
+(define effect_2203
   (struct-type-install-properties!
    struct:choice-evt
-   'evt
+   '(evt)
    1
    0
    #f
@@ -2583,10 +2583,10 @@
    #f
    1
    0))
-(define effect_3144
+(define effect_2389
   (struct-type-install-properties!
    struct:delayed-poll
-   'delayed-poll
+   '(delayed-poll)
    1
    0
    #f
@@ -2614,10 +2614,10 @@
    #f
    1
    0))
-(define effect_2558
+(define effect_2296
   (struct-type-install-properties!
    struct:poller-evt
-   'poller-evt
+   '(poller-evt)
    1
    0
    #f
@@ -2670,10 +2670,10 @@
    #f
    2
    0))
-(define effect_3162
+(define effect_3276
   (struct-type-install-properties!
    struct:waiter-methods
-   'waiter-methods
+   '(waiter-methods)
    2
    0
    #f
@@ -2714,10 +2714,10 @@
    #f
    1
    0))
-(define effect_2458
+(define effect_2810
   (struct-type-install-properties!
    struct:select-waiter
-   'select-waiter
+   '(select-waiter)
    1
    0
    #f
@@ -2777,10 +2777,10 @@
    #f
    13
    8188))
-(define effect_2364
+(define effect_2862
   (struct-type-install-properties!
    struct:custodian
-   'custodian
+   '(custodian)
    13
    0
    #f
@@ -2910,10 +2910,10 @@
    #f
    1
    0))
-(define effect_2650
+(define effect_2533
   (struct-type-install-properties!
    struct:message-ized
-   'message-ized
+   '(message-ized)
    1
    0
    #f
@@ -4005,10 +4005,10 @@
    #f
    19
    491440))
-(define effect_3085
+(define effect_2252
   (struct-type-install-properties!
    struct:place
-   'place
+   '(place)
    19
    0
    #f
@@ -4168,10 +4168,10 @@
    #f
    1
    1))
-(define effect_3126
+(define effect_2858
   (struct-type-install-properties!
    struct:semaphore
-   'semaphore
+   '(semaphore)
    1
    0
    struct:queue
@@ -4208,10 +4208,10 @@
    #f
    1
    0))
-(define effect_2127
+(define effect_2145
   (struct-type-install-properties!
    struct:semaphore-peek-evt
-   'semaphore-peek-evt
+   '(semaphore-peek-evt)
    1
    0
    #f
@@ -4271,10 +4271,10 @@
    #f
    0
    0))
-(define effect_2734
+(define effect_2532
   (struct-type-install-properties!
    struct:semaphore-peek-select-waiter
-   'semaphore-peek-select-waiter
+   '(semaphore-peek-select-waiter)
    0
    0
    struct:select-waiter
@@ -4505,10 +4505,10 @@
    #f
    2
    3))
-(define effect_2755
+(define effect_2309
   (struct-type-install-properties!
    struct:node
-   'node
+   '(node)
    2
    0
    #f
@@ -4541,10 +4541,10 @@
    #f
    4
    14))
-(define effect_2111
+(define effect_2274
   (struct-type-install-properties!
    struct:thread-group
-   'thread-group
+   '(thread-group)
    4
    0
    struct:node
@@ -4713,10 +4713,10 @@
    #f
    2
    3))
-(define effect_2459
+(define effect_2483
   (struct-type-install-properties!
    struct:schedule-info
-   'schedule-info
+   '(schedule-info)
    2
    0
    #f
@@ -4844,10 +4844,10 @@
    #f
    2
    0))
-(define effect_2525
+(define effect_2626
   (struct-type-install-properties!
    struct:plumber
-   'plumber
+   '(plumber)
    2
    0
    #f
@@ -4892,10 +4892,10 @@
    #f
    2
    0))
-(define effect_2524
+(define effect_2487
   (struct-type-install-properties!
    struct:plumber-flush-handle
-   'plumber-flush-handle
+   '(plumber-flush-handle)
    2
    0
    #f
@@ -5124,10 +5124,10 @@
    #f
    2
    1))
-(define effect_2780
+(define effect_2348
   (struct-type-install-properties!
    struct:custodian-box
-   'custodian-box
+   '(custodian-box)
    2
    0
    #f
@@ -5164,10 +5164,10 @@
    #f
    2
    0))
-(define effect_2810
+(define effect_2870
   (struct-type-install-properties!
    struct:willed-callback
-   'willed-callback
+   '(willed-callback)
    2
    0
    #f
@@ -5197,10 +5197,10 @@
    #f
    0
    0))
-(define effect_2345
+(define effect_2332
   (struct-type-install-properties!
    struct:at-exit-callback
-   'at-exit-callback
+   '(at-exit-callback)
    0
    0
    struct:willed-callback
@@ -5226,10 +5226,10 @@
    #f
    1
    1))
-(define effect_2616
+(define effect_2409
   (struct-type-install-properties!
    struct:custodian-reference
-   'custodian-reference
+   '(custodian-reference)
    1
    0
    #f
@@ -6106,7 +6106,7 @@
 (define memory-limit-lock (|#%app| host:make-mutex))
 (define compute-memory-sizes 0)
 (define computed-memory-sizes? #f)
-(define effect_2497
+(define effect_2498
   (begin
     (void
      (|#%app|
@@ -6569,10 +6569,10 @@
    #f
    24
    16777082))
-(define effect_2521
+(define effect_2967
   (struct-type-install-properties!
    struct:thread
-   'thread
+   '(thread)
    24
    0
    struct:node
@@ -7079,10 +7079,10 @@
    #f
    1
    0))
-(define effect_2807
+(define effect_2406
   (struct-type-install-properties!
    struct:dead-evt
-   'thread-dead-evt
+   '(thread-dead-evt)
    1
    0
    #f
@@ -7409,10 +7409,10 @@
    #f
    2
    0))
-(define effect_2586
+(define effect_2379
   (struct-type-install-properties!
    struct:transitive-resume
-   'transitive-resume
+   '(transitive-resume)
    2
    0
    #f
@@ -7540,10 +7540,10 @@
    #f
    2
    2))
-(define effect_2400
+(define effect_2856
   (struct-type-install-properties!
    struct:suspend-resume-evt
-   'suspend-resume-evt
+   '(suspend-resume-evt)
    2
    0
    #f
@@ -7641,10 +7641,10 @@
    #f
    0
    0))
-(define effect_3145
+(define effect_2484
   (struct-type-install-properties!
    struct:suspend-evt
-   'thread-suspend-evt
+   '(thread-suspend-evt)
    0
    0
    struct:suspend-resume-evt
@@ -7678,10 +7678,10 @@
    #f
    0
    0))
-(define effect_2454
+(define effect_2390
   (struct-type-install-properties!
    struct:resume-evt
-   'thread-resume-evt
+   '(thread-resume-evt)
    0
    0
    struct:suspend-resume-evt
@@ -8114,10 +8114,10 @@
    #f
    0
    0))
-(define effect_2592
+(define effect_2597
   (struct-type-install-properties!
    struct:thread-receiver-evt
-   'thread-receive-evt
+   '(thread-receive-evt)
    0
    0
    #f
@@ -8222,10 +8222,10 @@
    #f
    2
    0))
-(define effect_1795
+(define effect_2021
   (struct-type-install-properties!
    struct:channel
-   'channel
+   '(channel)
    2
    0
    #f
@@ -8294,10 +8294,10 @@
    #f
    2
    0))
-(define effect_2694
+(define effect_2566
   (struct-type-install-properties!
    struct:channel-put-evt*
-   'channel-put-evt
+   '(channel-put-evt)
    2
    0
    #f
@@ -8375,10 +8375,10 @@
    #f
    1
    0))
-(define effect_3243
+(define effect_2402
   (struct-type-install-properties!
    struct:channel-select-waiter
-   'channel-select-waiter
+   '(channel-select-waiter)
    1
    0
    struct:select-waiter
@@ -8889,10 +8889,10 @@
    #f
    5
    31))
-(define effect_2377
+(define effect_2287
   (struct-type-install-properties!
    struct:syncing
-   'syncing
+   '(syncing)
    5
    0
    #f
@@ -9095,10 +9095,10 @@
    #f
    9
    511))
-(define effect_2549
+(define effect_2172
   (struct-type-install-properties!
    struct:syncer
-   'syncer
+   '(syncer)
    9
    0
    #f
@@ -10618,10 +10618,10 @@
          (end-atomic))))))
 (define struct:replacing-evt
   (make-record-type-descriptor* 'evt #f (|#%nongenerative-uid| evt) #f #f 1 0))
-(define effect_2634
+(define effect_2315
   (struct-type-install-properties!
    struct:replacing-evt
-   'evt
+   '(evt)
    1
    0
    #f
@@ -10670,10 +10670,10 @@
          'guard))))))
 (define struct:nested-sync-evt
   (make-record-type-descriptor* 'evt #f (|#%nongenerative-uid| evt) #f #f 3 0))
-(define effect_2232
+(define effect_2607
   (struct-type-install-properties!
    struct:nested-sync-evt
-   'evt
+   '(evt)
    3
    0
    #f
@@ -10894,10 +10894,10 @@
    #f
    0
    0))
-(define effect_2282
+(define effect_2854
   (struct-type-install-properties!
    struct:system-idle-evt
-   'system-idle-evt
+   '(system-idle-evt)
    0
    0
    #f
@@ -10955,10 +10955,10 @@
    #f
    10
    1016))
-(define effect_2884
+(define effect_3020
   (struct-type-install-properties!
    struct:future*
-   'future
+   '(future)
    10
    0
    #f
@@ -11058,10 +11058,10 @@
    #f
    6
    63))
-(define effect_2666
+(define effect_2966
   (struct-type-install-properties!
    struct:future-event
-   'future-event
+   '(future-event)
    6
    0
    #f
@@ -11350,10 +11350,10 @@
    #f
    1
    0))
-(define effect_2445
+(define effect_2519
   (struct-type-install-properties!
    struct:future-evt
-   'future-evt
+   '(future-evt)
    1
    0
    #f
@@ -11793,10 +11793,10 @@
    #f
    6
    7))
-(define effect_2609
+(define effect_2452
   (struct-type-install-properties!
    struct:scheduler
-   'scheduler
+   '(scheduler)
    6
    0
    #f
@@ -11839,10 +11839,10 @@
    #f
    5
    26))
-(define effect_2322
+(define effect_2639
   (struct-type-install-properties!
    struct:worker
-   'worker
+   '(worker)
    5
    0
    #f
@@ -12687,10 +12687,10 @@
    #f
    1
    0))
-(define effect_2291
+(define effect_2783
   (struct-type-install-properties!
    struct:alarm-evt
-   'alarm-evt
+   '(alarm-evt)
    1
    0
    #f
@@ -13249,10 +13249,10 @@
    #f
    2
    0))
-(define effect_3021
+(define effect_2531
   (struct-type-install-properties!
    struct:will-executor
-   'will-executor
+   '(will-executor)
    2
    0
    #f
@@ -13595,10 +13595,10 @@
    #f
    4
    15))
-(define effect_2267
+(define effect_2427
   (struct-type-install-properties!
    struct:place-event
-   'place-event
+   '(place-event)
    4
    0
    #f
@@ -14279,10 +14279,10 @@
    #f
    2
    0))
-(define effect_2146
+(define effect_2098
   (struct-type-install-properties!
    struct:place-done-evt
-   'place-dead-evt
+   '(place-dead-evt)
    2
    0
    #f
@@ -14385,10 +14385,10 @@
    #f
    6
    22))
-(define effect_2821
+(define effect_2499
   (struct-type-install-properties!
    struct:message-queue
-   'message-queue
+   '(message-queue)
    6
    0
    #f
@@ -14540,10 +14540,10 @@
    #f
    6
    0))
-(define effect_2712
+(define effect_2960
   (struct-type-install-properties!
    struct:pchannel
-   'place-channel
+   '(place-channel)
    6
    0
    #f
@@ -14829,10 +14829,10 @@
    #f
    4
    13))
-(define effect_2870
+(define effect_2715
   (struct-type-install-properties!
    struct:fsemaphore
-   'fsemaphore
+   '(fsemaphore)
    4
    0
    #f
@@ -14872,10 +14872,10 @@
    #f
    1
    0))
-(define effect_2902
+(define effect_2250
   (struct-type-install-properties!
    struct:fsemaphore-box-evt
-   'fsemaphore-box-evt
+   '(fsemaphore-box-evt)
    1
    0
    #f
@@ -15074,10 +15074,10 @@
    #f
    3
    1))
-(define effect_3038
+(define effect_2314
   (struct-type-install-properties!
    struct:os-semaphore
-   'os-semaphore
+   '(os-semaphore)
    3
    0
    #f

racket/src/expander/expand/liberal-def-ctx.rkt

@@ -8,7 +8,6 @@
   (make-struct-type-property 'liberal-define-context))
 
 (struct liberal-define-context ()
-  #:transparent
   #:property prop:liberal-define-context #t
   #:constructor-name make-liberal-define-context)
 

racket/src/schemify/struct-convert.rkt

@@ -95,7 +95,11 @@
                  null
                  `((define ,(deterministic-gensym "effect")
                      (struct-type-install-properties! ,struct:s
-                                                      ',(struct-type-info-name sti)
+                                                      ',(if system-opaque?
+                                                            ;; list is recognized by `struct-type-install-properties!`
+                                                            ;; to indincate a system structure type:
+                                                            (list (struct-type-info-name sti))
+                                                            (struct-type-info-name sti))
                                                       ,(struct-type-info-immediate-field-count sti)
                                                       0
                                                       ,(schemify (struct-type-info-parent sti) knowns)