diff --git a/racket/src/bc/src/startup.inc b/racket/src/bc/src/startup.inc index 33a4e3e89c..b3831e0798 100644 --- a/racket/src/bc/src/startup.inc +++ b/racket/src/bc/src/startup.inc @@ -20890,6 +20890,7 @@ static const char *startup_source = " #%struct-predicate" " #%struct-field-accessor" " #%struct-field-mutator" +" #%nongenerative-uid" " unsafe-struct?" " unsafe-struct" " raise-binding-result-arity-error" diff --git a/racket/src/cs/compile-file.ss b/racket/src/cs/compile-file.ss index 3724078de2..1bb715f04a 100644 --- a/racket/src/cs/compile-file.ss +++ b/racket/src/cs/compile-file.ss @@ -2,7 +2,7 @@ ;; Check to make we're using a build of Chez Scheme ;; that has all the features we need. (define-values (need-maj need-min need-sub need-dev) - (values 9 5 3 57)) + (values 9 5 3 58)) (unless (guard (x [else #f]) (eval 'scheme-fork-version-number)) (error 'compile-file diff --git a/racket/src/cs/primitive/internal.ss b/racket/src/cs/primitive/internal.ss index 0426340b5f..85e4495c77 100644 --- a/racket/src/cs/primitive/internal.ss +++ b/racket/src/cs/primitive/internal.ss @@ -19,6 +19,7 @@ [|#%struct-predicate| (known-constant)] [|#%struct-field-accessor| (known-constant)] [|#%struct-field-mutator| (known-constant)] + [|#%nongenerative-uid| (known-constant)] [make-record-type-descriptor (known-constant)] [make-record-type-descriptor* (known-constant)] [make-record-constructor-descriptor (known-constant)] diff --git a/racket/src/cs/rumble.sls b/racket/src/cs/rumble.sls index 259966ebd8..19a3596305 100644 --- a/racket/src/cs/rumble.sls +++ b/racket/src/cs/rumble.sls @@ -227,6 +227,7 @@ |#%struct-predicate| ; not exported to Racket |#%struct-field-accessor| ; not exported to Racket |#%struct-field-mutator| ; not exported to Racket + |#%nongenerative-uid| ; not exported to Racket struct-property-set! ; not exported to Racket struct-constructor-procedure? struct-predicate-procedure? diff --git a/racket/src/cs/rumble/struct.ss b/racket/src/cs/rumble/struct.ss index dc8f9f6a60..ae678d7b2a 100644 --- a/racket/src/cs/rumble/struct.ss +++ b/racket/src/cs/rumble/struct.ss @@ -460,6 +460,11 @@ (position-based-mutator-rtd v)) (wrapper-procedure-data v))) +(define-syntax (|#%nongenerative-uid| stx) + (syntax-case stx () + [(_ name) #`(quote #,(datum->syntax #'name ((current-generate-id) (datum name))))] + [else #'#f])) + ;; ---------------------------------------- ;; General structure-type creation, but not called when a `schemify` diff --git a/racket/src/cs/schemified/expander.scm b/racket/src/cs/schemified/expander.scm index d9782acb1a..4e909afd45 100644 --- a/racket/src/cs/schemified/expander.scm +++ b/racket/src/cs/schemified/expander.scm @@ -3922,7 +3922,15 @@ (define cell.2$4 (unsafe-make-place-local (make-hasheq))) (define performance-place-init! (lambda () (unsafe-place-local-set! cell.2$4 (make-hasheq)))) -(define struct:region (make-record-type-descriptor* 'region #f #f #f #f 5 30)) +(define struct:region + (make-record-type-descriptor* + 'region + #f + (|#%nongenerative-uid| region) + #f + #f + 5 + 30)) (define effect_2100 (struct-type-install-properties! struct:region @@ -4096,7 +4104,15 @@ v 'region 'as-nested-memory)))))) -(define struct:stat (make-record-type-descriptor* 'stat #f #f #f #f 3 7)) +(define struct:stat + (make-record-type-descriptor* + 'stat + #f + (|#%nongenerative-uid| stat) + #f + #f + 3 + 7)) (define effect_2634 (struct-type-install-properties! struct:stat @@ -5390,7 +5406,14 @@ #f) #f))) (define struct:weak-intern-table - (make-record-type-descriptor* 'weak-intern-table #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'weak-intern-table + #f + (|#%nongenerative-uid| weak-intern-table) + #f + #f + 1 + 0)) (define effect_2495 (struct-type-install-properties! struct:weak-intern-table @@ -5415,7 +5438,15 @@ (|#%name| weak-intern-table-box (record-accessor struct:weak-intern-table 0))) -(define struct:table (make-record-type-descriptor* 'table #f #f #f #f 3 0)) +(define struct:table + (make-record-type-descriptor* + 'table + #f + (|#%nongenerative-uid| table) + #f + #f + 3 + 0)) (define effect_2793 (struct-type-install-properties! struct:table @@ -5609,7 +5640,14 @@ (for-loop_0 0 (hash-iterate-first new-ht_0)))))) (table2.1 new-ht_0 count_0 (max 128 (* 2 count_0)))))))) (define struct:resolved-module-path - (make-record-type-descriptor* 'resolved-module-path #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'resolved-module-path + #f + (|#%nongenerative-uid| resolved-module-path) + #f + #f + 1 + 0)) (define effect_1951 (struct-type-install-properties! struct:resolved-module-path @@ -5783,7 +5821,14 @@ (list* 'submod root-mod-path_0 (cdr name_0)) root-mod-path_0)))))) (define struct:module-path-index - (make-record-type-descriptor* 'module-path-index #f #f #f #f 4 12)) + (make-record-type-descriptor* + 'module-path-index + #f + (|#%nongenerative-uid| module-path-index) + #f + #f + 4 + 12)) (define effect_2287 (struct-type-install-properties! struct:module-path-index @@ -6470,7 +6515,15 @@ (if (pair? default-name_0) (cons root-name_0 (cdr default-name_0)) root-name_0)))))) -(define struct:promise (make-record-type-descriptor* 'promise #f #f #f #f 2 3)) +(define struct:promise + (make-record-type-descriptor* + 'promise + #f + (|#%nongenerative-uid| promise) + #f + #f + 2 + 3)) (define effect_2288 (struct-type-install-properties! struct:promise @@ -6530,7 +6583,14 @@ (set-box! small-ht_0 (hash-set (unbox small-ht_0) key_0 val_0)))) (define small-hash-keys (lambda (small-ht_0) (hash-keys (unbox small-ht_0)))) (define struct:serialize-state - (make-record-type-descriptor* 'serialize-state #f #f #f #f 12 0)) + (make-record-type-descriptor* + 'serialize-state + #f + (|#%nongenerative-uid| serialize-state) + #f + #f + 12 + 0)) (define effect_2227 (struct-type-install-properties! struct:serialize-state @@ -7144,7 +7204,14 @@ (if (immutable? d_0) (positive? (hash-count d_0)) #f) #f))))))))))) (define struct:preserved-property-value - (make-record-type-descriptor* 'preserved-property-value #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'preserved-property-value + #f + (|#%nongenerative-uid| preserved-property-value) + #f + #f + 1 + 0)) (define effect_2975 (struct-type-install-properties! struct:preserved-property-value @@ -7350,7 +7417,14 @@ (define deserialize-tamper (lambda (t_0) (if (eq? t_0 'armed) (current-arm-inspectors) t_0))) (define struct:modified-content - (make-record-type-descriptor* 'modified-content #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'modified-content + #f + (|#%nongenerative-uid| modified-content) + #f + #f + 2 + 0)) (define effect_2941 (struct-type-install-properties! struct:modified-content @@ -7379,7 +7453,15 @@ (|#%name| modified-content-scope-propagations+tamper (record-accessor struct:modified-content 1))) -(define struct:syntax (make-record-type-descriptor* 'syntax #f #f #f #f 7 1)) +(define struct:syntax + (make-record-type-descriptor* + 'syntax + #f + (|#%nongenerative-uid| syntax) + #f + #f + 7 + 1)) (define effect_2357 (struct-type-install-properties! struct:syntax @@ -7960,7 +8042,14 @@ (define syntax-place-init! (lambda () (unsafe-place-local-set! cell.1$7 (make-weak-hasheq)))) (define struct:syntax-state - (make-record-type-descriptor* 'syntax-state #f #f #f #f 3 1)) + (make-record-type-descriptor* + 'syntax-state + #f + (|#%nongenerative-uid| syntax-state) + #f + #f + 3 + 1)) (define effect_2807 (struct-type-install-properties! struct:syntax-state @@ -8079,7 +8168,14 @@ inspector_0))) (datum->syntax$1 s_0 content_0 s_0 s_0)))) (define struct:full-binding - (make-record-type-descriptor* 'full-binding #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'full-binding + #f + (|#%nongenerative-uid| full-binding) + #f + #f + 2 + 0)) (define effect_2547 (struct-type-install-properties! struct:full-binding @@ -8251,7 +8347,7 @@ (make-record-type-descriptor* 'full-module-binding struct:full-binding - #f + (|#%nongenerative-uid| full-module-binding) #f #f 9 @@ -8355,7 +8451,14 @@ full-module-binding-extra-nominal-bindings (record-accessor struct:full-module-binding 8))) (define struct:simple-module-binding - (make-record-type-descriptor* 'simple-module-binding #f #f #f #f 4 0)) + (make-record-type-descriptor* + 'simple-module-binding + #f + (|#%nongenerative-uid| simple-module-binding) + #f + #f + 4 + 0)) (define effect_2189 (struct-type-install-properties! struct:simple-module-binding @@ -8477,7 +8580,14 @@ (full-module-binding-extra-nominal-bindings b_0)))) (define empty-binding-table hash2610) (define struct:table-with-bulk-bindings - (make-record-type-descriptor* 'table-with-bulk-bindings #f #f #f #f 3 0)) + (make-record-type-descriptor* + 'table-with-bulk-bindings + #f + (|#%nongenerative-uid| table-with-bulk-bindings) + #f + #f + 3 + 0)) (define effect_2548 (struct-type-install-properties! struct:table-with-bulk-bindings @@ -8529,7 +8639,14 @@ (lambda (syms_0 bulk-bindings_0) (table-with-bulk-bindings1.1 syms_0 syms_0 bulk-bindings_0))) (define struct:bulk-binding-at - (make-record-type-descriptor* 'bulk-binding-at #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'bulk-binding-at + #f + (|#%nongenerative-uid| bulk-binding-at) + #f + #f + 2 + 0)) (define effect_2443 (struct-type-install-properties! struct:bulk-binding-at @@ -8571,7 +8688,14 @@ (prop:bulk-binding bulk-binding?$1 bulk-binding-ref) (make-struct-type-property 'bulk-binding)) (define struct:bulk-binding-class - (make-record-type-descriptor* 'bulk-binding-class #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'bulk-binding-class + #f + (|#%nongenerative-uid| bulk-binding-class) + #f + #f + 2 + 0)) (define effect_2256 (struct-type-install-properties! struct:bulk-binding-class @@ -10181,7 +10305,15 @@ (begin (if c_0 (hash-clear! c_0) (void)) (unsafe-set-box*! (unsafe-place-local-ref cell.2$3) #f)))))) -(define struct:entry (make-record-type-descriptor* 'entry #f #f #f #f 4 0)) +(define struct:entry + (make-record-type-descriptor* + 'entry + #f + (|#%nongenerative-uid| entry) + #f + #f + 4 + 0)) (define effect_2205 (struct-type-install-properties! struct:entry @@ -10236,7 +10368,14 @@ (define cell.2$3 (unsafe-make-place-local (box #f))) (define cell.3$1 (unsafe-make-place-local 0)) (define struct:shifted-entry - (make-record-type-descriptor* 'shifted-entry #f #f #f #f 3 0)) + (make-record-type-descriptor* + 'shifted-entry + #f + (|#%nongenerative-uid| shifted-entry) + #f + #f + 3 + 0)) (define effect_2339 (struct-type-install-properties! struct:shifted-entry @@ -10438,7 +10577,15 @@ s_0)))))) (define cache-place-init! (lambda () (begin (resolve-cache-place-init!) (sets-place-init!)))) -(define struct:scope (make-record-type-descriptor* 'scope #f #f #f #f 3 4)) +(define struct:scope + (make-record-type-descriptor* + 'scope + #f + (|#%nongenerative-uid| scope) + #f + #f + 3 + 4)) (define effect_2612 (struct-type-install-properties! struct:scope @@ -10516,7 +10663,14 @@ (define deserialize-scope-fill! (lambda (s_0 bt_0) (set-scope-binding-table! s_0 bt_0))) (define struct:interned-scope - (make-record-type-descriptor* 'interned-scope struct:scope #f #f #f 1 0)) + (make-record-type-descriptor* + 'interned-scope + struct:scope + (|#%nongenerative-uid| interned-scope) + #f + #f + 1 + 0)) (define effect_2683 (struct-type-install-properties! struct:interned-scope @@ -10562,7 +10716,14 @@ (define interned-scope-key (|#%name| interned-scope-key (record-accessor struct:interned-scope 0))) (define struct:multi-scope - (make-record-type-descriptor* 'multi-scope #f #f #f #f 5 0)) + (make-record-type-descriptor* + 'multi-scope + #f + (|#%nongenerative-uid| multi-scope) + #f + #f + 5 + 0)) (define effect_2089 (struct-type-install-properties! struct:multi-scope @@ -10705,7 +10866,7 @@ (make-record-type-descriptor* 'representative-scope struct:scope - #f + (|#%nongenerative-uid| representative-scope) #f #f 2 @@ -10801,7 +10962,14 @@ (begin-unsafe (set-scope-binding-table! s_0 bt_0)) (set-representative-scope-owner! s_0 owner_0)))) (define struct:shifted-multi-scope - (make-record-type-descriptor* 'shifted-multi-scope #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'shifted-multi-scope + #f + (|#%nongenerative-uid| shifted-multi-scope) + #f + #f + 2 + 0)) (define effect_3041 (struct-type-install-properties! struct:shifted-multi-scope @@ -11766,7 +11934,14 @@ (loop_1 #f s_1 0))))))))) (loop_0 s_0))))))))) (define struct:propagation - (make-record-type-descriptor* 'propagation #f #f #f #f 7 0)) + (make-record-type-descriptor* + 'propagation + #f + (|#%nongenerative-uid| propagation) + #f + #f + 7 + 0)) (define effect_2826 (struct-type-install-properties! struct:propagation @@ -13138,7 +13313,7 @@ (make-record-type-descriptor* 'full-local-binding struct:full-binding - #f + (|#%nongenerative-uid| full-local-binding) #f #f 1 @@ -13270,7 +13445,14 @@ id_0)) id_0))))))))))) (define struct:id-rename-transformer - (make-record-type-descriptor* 'rename-transformer #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'rename-transformer + #f + (|#%nongenerative-uid| rename-transformer) + #f + #f + 1 + 0)) (define effect_2777 (struct-type-install-properties! struct:id-rename-transformer @@ -14055,7 +14237,14 @@ (syntax-inspector the-struct_0))) (raise-argument-error 'struct-copy "syntax?" the-struct_0)))))))) (define struct:provided - (make-record-type-descriptor* 'provided #f #f #f #f 3 0)) + (make-record-type-descriptor* + 'provided + #f + (|#%nongenerative-uid| provided) + #f + #f + 3 + 0)) (define effect_2693 (struct-type-install-properties! struct:provided @@ -14132,7 +14321,14 @@ unsafe-undefined binding_0)))))))))) (define struct:bulk-binding - (make-record-type-descriptor* 'bulk-binding #f #f #f #f 8 9)) + (make-record-type-descriptor* + 'bulk-binding + #f + (|#%nongenerative-uid| bulk-binding) + #f + #f + 8 + 9)) (define effect_2831 (struct-type-install-properties! struct:bulk-binding @@ -14323,7 +14519,14 @@ table_0)))))) (for-loop_0 hash2725 (hash-iterate-first provides_0)))))) (define struct:bulk-provide - (make-record-type-descriptor* 'bulk-provide #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'bulk-provide + #f + (|#%nongenerative-uid| bulk-provide) + #f + #f + 2 + 0)) (define effect_2367 (struct-type-install-properties! struct:bulk-provide @@ -14387,7 +14590,14 @@ 'bulk-provide 'provides)))))) (define struct:bulk-binding-registry - (make-record-type-descriptor* 'bulk-binding-registry #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'bulk-binding-registry + #f + (|#%nongenerative-uid| bulk-binding-registry) + #f + #f + 1 + 0)) (define effect_2382 (struct-type-install-properties! struct:bulk-binding-registry @@ -14454,7 +14664,14 @@ #f))) (define generate-lift-key (lambda () (gensym 'lift))) (define struct:root-expand-context/outer - (make-record-type-descriptor* 'root-expand-context #f #f #f #f 4 0)) + (make-record-type-descriptor* + 'root-expand-context + #f + (|#%nongenerative-uid| root-expand-context) + #f + #f + 4 + 0)) (define effect_2573 (struct-type-install-properties! struct:root-expand-context/outer @@ -14497,7 +14714,14 @@ root-expand-context-frame-id (record-accessor struct:root-expand-context/outer 3))) (define struct:root-expand-context/inner - (make-record-type-descriptor* 'root-expand-context/inner #f #f #f #f 7 0)) + (make-record-type-descriptor* + 'root-expand-context/inner + #f + (|#%nongenerative-uid| root-expand-context/inner) + #f + #f + 7 + 0)) (define effect_2774 (struct-type-install-properties! struct:root-expand-context/inner @@ -15049,7 +15273,14 @@ "broken '#%linklet primitive table; maybe you need to use \"bootstrap-run.rkt\""))) (void))) (define struct:module-registry - (make-record-type-descriptor* 'module-registry #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'module-registry + #f + (|#%nongenerative-uid| module-registry) + #f + #f + 2 + 0)) (define effect_2643 (struct-type-install-properties! struct:module-registry @@ -15162,7 +15393,14 @@ (loop_0)))))))))) (loop_0))))) (define struct:namespace - (make-record-type-descriptor* 'namespace #f #f #f #f 15 4096)) + (make-record-type-descriptor* + 'namespace + #f + (|#%nongenerative-uid| namespace) + #f + #f + 15 + 4096)) (define effect_2781 (struct-type-install-properties! struct:namespace @@ -15250,7 +15488,14 @@ (define set-namespace-inspector! (|#%name| set-namespace-inspector! (record-mutator struct:namespace 12))) (define struct:definitions - (make-record-type-descriptor* 'definitions #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'definitions + #f + (|#%nongenerative-uid| definitions) + #f + #f + 2 + 0)) (define effect_2279 (struct-type-install-properties! struct:definitions @@ -15774,7 +16019,14 @@ new-stx_1)))))) (for-loop_0 new-stx_0 old-stxes_0))))) (define struct:syntax-binding-set - (make-record-type-descriptor* 'syntax-binding-set #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'syntax-binding-set + #f + (|#%nongenerative-uid| syntax-binding-set) + #f + #f + 1 + 0)) (define effect_2741 (struct-type-install-properties! struct:syntax-binding-set @@ -15823,7 +16075,15 @@ s 'syntax-binding-set 'binds)))))) -(define struct:bind (make-record-type-descriptor* 'bind #f #f #f #f 3 0)) +(define struct:bind + (make-record-type-descriptor* + 'bind + #f + (|#%nongenerative-uid| bind) + #f + #f + 3 + 0)) (define effect_3043 (struct-type-install-properties! struct:bind @@ -16288,7 +16548,14 @@ (define set-current-previously-unbound! (lambda (proc_0) (set! current-previously-unbound proc_0))) (define struct:module-use - (make-record-type-descriptor* 'module-use #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'module-use + #f + (|#%nongenerative-uid| module-use) + #f + #f + 2 + 0)) (define effect_2861 (struct-type-install-properties! struct:module-use @@ -16385,7 +16652,15 @@ s 'module-use 'phase)))))) -(define struct:module (make-record-type-descriptor* 'module #f #f #f #f 20 16)) +(define struct:module + (make-record-type-descriptor* + 'module + #f + (|#%nongenerative-uid| module) + #f + #f + 20 + 16)) (define effect_2359 (struct-type-install-properties! struct:module @@ -16449,7 +16724,14 @@ (define set-module-access! (|#%name| set-module-access! (record-mutator struct:module 4))) (define struct:module-linklet-info - (make-record-type-descriptor* 'module-linklet-info #f #f #f #f 6 0)) + (make-record-type-descriptor* + 'module-linklet-info + #f + (|#%nongenerative-uid| module-linklet-info) + #f + #f + 6 + 0)) (define effect_2516 (struct-type-install-properties! struct:module-linklet-info @@ -16555,7 +16837,14 @@ supermodule-name19_0 get-all-variables_0))))))))) (define struct:module-instance - (make-record-type-descriptor* 'module-instance #f #f #f #f 7 52)) + (make-record-type-descriptor* + 'module-instance + #f + (|#%nongenerative-uid| module-instance) + #f + #f + 7 + 52)) (define effect_2597 (struct-type-install-properties! struct:module-instance @@ -18199,7 +18488,14 @@ (let ((or-part_0 (eq? t_0 variable))) (if or-part_0 or-part_0 (local-variable? t_0))))) (define struct:local-variable - (make-record-type-descriptor* 'local-variable #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'local-variable + #f + (|#%nongenerative-uid| local-variable) + #f + #f + 1 + 0)) (define effect_2447 (struct-type-install-properties! struct:local-variable @@ -18258,7 +18554,14 @@ (1/set!-transformer-procedure t_0) (if (1/rename-transformer? t_0) (lambda (s_0) s_0) t_0)))) (define struct:core-form - (make-record-type-descriptor* 'core-form #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'core-form + #f + (|#%nongenerative-uid| core-form) + #f + #f + 2 + 0)) (define effect_2019 (struct-type-install-properties! struct:core-form @@ -18550,7 +18853,7 @@ (make-record-type-descriptor* 'expand-context struct:root-expand-context/outer - #f + (|#%nongenerative-uid| expand-context) #f #f 11 @@ -18623,7 +18926,7 @@ (make-record-type-descriptor* 'expand-context/inner struct:root-expand-context/inner - #f + (|#%nongenerative-uid| expand-context/inner) #f #f 22 @@ -21079,7 +21382,14 @@ (for-loop_0 null s_0))))) s_0)))) (define struct:compile-context - (make-record-type-descriptor* 'compile-context #f #f #f #f 7 0)) + (make-record-type-descriptor* + 'compile-context + #f + (|#%nongenerative-uid| compile-context) + #f + #f + 7 + 0)) (define effect_3051 (struct-type-install-properties! struct:compile-context @@ -23564,7 +23874,14 @@ (let ((len_0 (|#%app| read-fasl-integer i_0))) (read-bytes/exactly len_0 i_0)))) (define struct:mpi-intern-table - (make-record-type-descriptor* 'mpi-intern-table #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'mpi-intern-table + #f + (|#%nongenerative-uid| mpi-intern-table) + #f + #f + 2 + 0)) (define effect_2419 (struct-type-install-properties! struct:mpi-intern-table @@ -23699,7 +24016,7 @@ (begin (begin-unsafe (hash-set! built-in-symbols built-in-s_0 #t)) built-in-s_0)))) -(define effect_2278 +(define effect_2323 (begin (void (begin @@ -23764,6 +24081,7 @@ |#%struct-predicate| |#%struct-field-accessor| |#%struct-field-mutator| + |#%nongenerative-uid| unsafe-struct? unsafe-struct raise-binding-result-arity-error @@ -23811,7 +24129,14 @@ (define top-level-require!-id (make-built-in-symbol! 'top-level-require!)) (define mpi-vector-id (make-built-in-symbol! 'mpi-vector)) (define struct:module-path-index-table - (make-record-type-descriptor* 'module-path-index-table #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'module-path-index-table + #f + (|#%nongenerative-uid| module-path-index-table) + #f + #f + 2 + 0)) (define effect_2891 (struct-type-install-properties! struct:module-path-index-table @@ -27665,7 +27990,15 @@ module-use1.1 'deserialize deserialize)) -(define struct:parsed (make-record-type-descriptor* 'parsed #f #f #f #f 1 0)) +(define struct:parsed + (make-record-type-descriptor* + 'parsed + #f + (|#%nongenerative-uid| parsed) + #f + #f + 1 + 0)) (define effect_3163 (struct-type-install-properties! struct:parsed @@ -27687,7 +28020,14 @@ (define parsed? (|#%name| parsed? (record-predicate struct:parsed))) (define parsed-s (|#%name| parsed-s (record-accessor struct:parsed 0))) (define struct:parsed-id - (make-record-type-descriptor* 'parsed-id struct:parsed #f #f #f 2 0)) + (make-record-type-descriptor* + 'parsed-id + struct:parsed + (|#%nongenerative-uid| parsed-id) + #f + #f + 2 + 0)) (define effect_2786 (struct-type-install-properties! struct:parsed-id @@ -27715,7 +28055,7 @@ (make-record-type-descriptor* 'parsed-primitive-id struct:parsed-id - #f + (|#%nongenerative-uid| parsed-primitive-id) #f #f 0 @@ -27743,7 +28083,14 @@ parsed-primitive-id? (record-predicate struct:parsed-primitive-id))) (define struct:parsed-top-id - (make-record-type-descriptor* 'parsed-top-id struct:parsed-id #f #f #f 0 0)) + (make-record-type-descriptor* + 'parsed-top-id + struct:parsed-id + (|#%nongenerative-uid| parsed-top-id) + #f + #f + 0 + 0)) (define effect_3596 (struct-type-install-properties! struct:parsed-top-id @@ -27765,7 +28112,14 @@ (define parsed-top-id? (|#%name| parsed-top-id? (record-predicate struct:parsed-top-id))) (define struct:parsed-lambda - (make-record-type-descriptor* 'parsed-lambda struct:parsed #f #f #f 2 0)) + (make-record-type-descriptor* + 'parsed-lambda + struct:parsed + (|#%nongenerative-uid| parsed-lambda) + #f + #f + 2 + 0)) (define effect_2929 (struct-type-install-properties! struct:parsed-lambda @@ -27794,7 +28148,7 @@ (make-record-type-descriptor* 'parsed-case-lambda struct:parsed - #f + (|#%nongenerative-uid| parsed-case-lambda) #f #f 1 @@ -27824,7 +28178,14 @@ parsed-case-lambda-clauses (record-accessor struct:parsed-case-lambda 0))) (define struct:parsed-app - (make-record-type-descriptor* 'parsed-app struct:parsed #f #f #f 2 0)) + (make-record-type-descriptor* + 'parsed-app + struct:parsed + (|#%nongenerative-uid| parsed-app) + #f + #f + 2 + 0)) (define effect_3155 (struct-type-install-properties! struct:parsed-app @@ -27850,7 +28211,14 @@ (define parsed-app-rands (|#%name| parsed-app-rands (record-accessor struct:parsed-app 1))) (define struct:parsed-if - (make-record-type-descriptor* 'parsed-if struct:parsed #f #f #f 3 0)) + (make-record-type-descriptor* + 'parsed-if + struct:parsed + (|#%nongenerative-uid| parsed-if) + #f + #f + 3 + 0)) (define effect_2697 (struct-type-install-properties! struct:parsed-if @@ -27877,7 +28245,14 @@ (define parsed-if-els (|#%name| parsed-if-els (record-accessor struct:parsed-if 2))) (define struct:parsed-set! - (make-record-type-descriptor* 'parsed-set! struct:parsed #f #f #f 2 0)) + (make-record-type-descriptor* + 'parsed-set! + struct:parsed + (|#%nongenerative-uid| parsed-set!) + #f + #f + 2 + 0)) (define effect_2794 (struct-type-install-properties! struct:parsed-set! @@ -27906,7 +28281,7 @@ (make-record-type-descriptor* 'parsed-with-continuation-mark struct:parsed - #f + (|#%nongenerative-uid| parsed-with-continuation-mark) #f #f 3 @@ -27952,7 +28327,7 @@ (make-record-type-descriptor* '|parsed-#%variable-reference| struct:parsed - #f + (|#%nongenerative-uid| |parsed-#%variable-reference|) #f #f 1 @@ -27987,7 +28362,14 @@ |parsed-#%variable-reference-id| (record-accessor |struct:parsed-#%variable-reference| 0))) (define struct:parsed-begin - (make-record-type-descriptor* 'parsed-begin struct:parsed #f #f #f 1 0)) + (make-record-type-descriptor* + 'parsed-begin + struct:parsed + (|#%nongenerative-uid| parsed-begin) + #f + #f + 1 + 0)) (define effect_2775 (struct-type-install-properties! struct:parsed-begin @@ -28011,7 +28393,14 @@ (define parsed-begin-body (|#%name| parsed-begin-body (record-accessor struct:parsed-begin 0))) (define struct:parsed-begin0 - (make-record-type-descriptor* 'parsed-begin0 struct:parsed #f #f #f 1 0)) + (make-record-type-descriptor* + 'parsed-begin0 + struct:parsed + (|#%nongenerative-uid| parsed-begin0) + #f + #f + 1 + 0)) (define effect_2776 (struct-type-install-properties! struct:parsed-begin0 @@ -28035,7 +28424,14 @@ (define parsed-begin0-body (|#%name| parsed-begin0-body (record-accessor struct:parsed-begin0 0))) (define struct:parsed-quote - (make-record-type-descriptor* 'parsed-quote struct:parsed #f #f #f 1 0)) + (make-record-type-descriptor* + 'parsed-quote + struct:parsed + (|#%nongenerative-uid| parsed-quote) + #f + #f + 1 + 0)) (define effect_2325 (struct-type-install-properties! struct:parsed-quote @@ -28062,7 +28458,7 @@ (make-record-type-descriptor* 'parsed-quote-syntax struct:parsed - #f + (|#%nongenerative-uid| parsed-quote-syntax) #f #f 1 @@ -28097,7 +28493,7 @@ (make-record-type-descriptor* 'parsed-let_-values struct:parsed - #f + (|#%nongenerative-uid| parsed-let_-values) #f #f 3 @@ -28138,7 +28534,7 @@ (make-record-type-descriptor* 'parsed-let-values struct:parsed-let_-values - #f + (|#%nongenerative-uid| parsed-let-values) #f #f 0 @@ -28167,7 +28563,7 @@ (make-record-type-descriptor* 'parsed-letrec-values struct:parsed-let_-values - #f + (|#%nongenerative-uid| parsed-letrec-values) #f #f 0 @@ -28198,7 +28594,7 @@ (make-record-type-descriptor* 'parsed-define-values struct:parsed - #f + (|#%nongenerative-uid| parsed-define-values) #f #f 3 @@ -28241,7 +28637,7 @@ (make-record-type-descriptor* 'parsed-define-syntaxes struct:parsed - #f + (|#%nongenerative-uid| parsed-define-syntaxes) #f #f 3 @@ -28284,7 +28680,7 @@ (make-record-type-descriptor* 'parsed-begin-for-syntax struct:parsed - #f + (|#%nongenerative-uid| parsed-begin-for-syntax) #f #f 1 @@ -28322,7 +28718,7 @@ (make-record-type-descriptor* '|parsed-#%declare| struct:parsed - #f + (|#%nongenerative-uid| |parsed-#%declare|) #f #f 0 @@ -28348,7 +28744,14 @@ (define |parsed-#%declare?| (|#%name| |parsed-#%declare?| (record-predicate |struct:parsed-#%declare|))) (define struct:parsed-require - (make-record-type-descriptor* 'parsed-require struct:parsed #f #f #f 0 0)) + (make-record-type-descriptor* + 'parsed-require + struct:parsed + (|#%nongenerative-uid| parsed-require) + #f + #f + 0 + 0)) (define effect_2525 (struct-type-install-properties! struct:parsed-require @@ -28373,7 +28776,7 @@ (make-record-type-descriptor* '|parsed-#%module-begin| struct:parsed - #f + (|#%nongenerative-uid| |parsed-#%module-begin|) #f #f 1 @@ -28408,7 +28811,14 @@ |parsed-#%module-begin-body| (record-accessor |struct:parsed-#%module-begin| 0))) (define struct:parsed-module - (make-record-type-descriptor* 'parsed-module struct:parsed #f #f #f 10 0)) + (make-record-type-descriptor* + 'parsed-module + struct:parsed + (|#%nongenerative-uid| parsed-module) + #f + #f + 10 + 0)) (define effect_2380 (struct-type-install-properties! struct:parsed-module @@ -28538,7 +28948,14 @@ (seteq) (unsafe-immutable-hash-iterate-first s-scs_0))))))) (define struct:requires+provides - (make-record-type-descriptor* 'requires+provides #f #f #f #f 9 384)) + (make-record-type-descriptor* + 'requires+provides + #f + (|#%nongenerative-uid| requires+provides) + #f + #f + 9 + 384)) (define effect_2981 (struct-type-install-properties! struct:requires+provides @@ -28604,7 +29021,14 @@ set-requires+provides-all-bindings-simple?! (record-mutator struct:requires+provides 8))) (define struct:required - (make-record-type-descriptor* 'required #f #f #f #f 4 0)) + (make-record-type-descriptor* + 'required + #f + (|#%nongenerative-uid| required) + #f + #f + 4 + 0)) (define effect_2154 (struct-type-install-properties! struct:required @@ -28631,7 +29055,15 @@ (|#%name| required-can-be-shadowed? (record-accessor struct:required 2))) (define required-as-transformer? (|#%name| required-as-transformer? (record-accessor struct:required 3))) -(define struct:nominal (make-record-type-descriptor* 'nominal #f #f #f #f 4 0)) +(define struct:nominal + (make-record-type-descriptor* + 'nominal + #f + (|#%nongenerative-uid| nominal) + #f + #f + 4 + 0)) (define effect_3046 (struct-type-install-properties! struct:nominal @@ -28659,7 +29091,14 @@ (|#%name| nominal-require-phase (record-accessor struct:nominal 2))) (define nominal-sym (|#%name| nominal-sym (record-accessor struct:nominal 3))) (define struct:bulk-required - (make-record-type-descriptor* 'bulk-required #f #f #f #f 5 0)) + (make-record-type-descriptor* + 'bulk-required + #f + (|#%nongenerative-uid| bulk-required) + #f + #f + 5 + 0)) (define effect_2563 (struct-type-install-properties! struct:bulk-required @@ -30101,7 +30540,14 @@ table_0)))))) (for-loop_0 hash2589 (hash-iterate-first provides_0)))))) (define struct:adjust-only - (make-record-type-descriptor* 'adjust-only #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'adjust-only + #f + (|#%nongenerative-uid| adjust-only) + #f + #f + 1 + 0)) (define effect_2795 (struct-type-install-properties! struct:adjust-only @@ -30147,7 +30593,14 @@ 'adjust-only 'syms)))))) (define struct:adjust-prefix - (make-record-type-descriptor* 'adjust-prefix #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'adjust-prefix + #f + (|#%nongenerative-uid| adjust-prefix) + #f + #f + 1 + 0)) (define effect_2782 (struct-type-install-properties! struct:adjust-prefix @@ -30195,7 +30648,14 @@ 'adjust-prefix 'sym)))))) (define struct:adjust-all-except - (make-record-type-descriptor* 'adjust-all-except #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'adjust-all-except + #f + (|#%nongenerative-uid| adjust-all-except) + #f + #f + 2 + 0)) (define effect_3032 (struct-type-install-properties! struct:adjust-all-except @@ -30263,7 +30723,14 @@ 'adjust-all-except 'syms)))))) (define struct:adjust-rename - (make-record-type-descriptor* 'adjust-rename #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'adjust-rename + #f + (|#%nongenerative-uid| adjust-rename) + #f + #f + 2 + 0)) (define effect_2135 (struct-type-install-properties! struct:adjust-rename @@ -33166,7 +33633,14 @@ temp14_1 temp15_0))))))))) (define struct:compiled-in-memory - (make-record-type-descriptor* 'compiled-in-memory #f #f #f #f 13 0)) + (make-record-type-descriptor* + 'compiled-in-memory + #f + (|#%nongenerative-uid| compiled-in-memory) + #f + #f + 13 + 0)) (define effect_2489 (struct-type-install-properties! struct:compiled-in-memory @@ -33501,7 +33975,14 @@ (define correlated-position (lambda (s_0) (syntax-position s_0))) (define correlated-span (lambda (s_0) (syntax-span s_0))) (define struct:correlated-linklet - (make-record-type-descriptor* 'correlated-linklet #f #f #f #f 3 4)) + (make-record-type-descriptor* + 'correlated-linklet + #f + (|#%nongenerative-uid| correlated-linklet) + #f + #f + 3 + 4)) (define effect_2480 (struct-type-install-properties! struct:correlated-linklet @@ -34497,7 +34978,14 @@ (lambda (n_0 port_0) (write-bytes (integer->integer-bytes n_0 4 #f #f) port_0))) (define struct:linklet-directory - (make-record-type-descriptor* 'linklet-directory #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'linklet-directory + #f + (|#%nongenerative-uid| linklet-directory) + #f + #f + 1 + 0)) (define effect_2457 (struct-type-install-properties! struct:linklet-directory @@ -34554,7 +35042,14 @@ 'linklet-directory 'ht)))))) (define struct:linklet-bundle - (make-record-type-descriptor* 'linklet-bundle #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'linklet-bundle + #f + (|#%nongenerative-uid| linklet-bundle) + #f + #f + 1 + 0)) (define effect_2330 (struct-type-install-properties! struct:linklet-bundle @@ -34916,7 +35411,14 @@ (set=? app_0 (namespace-scopes-other nss2_0))) #f))) (define struct:syntax-literals - (make-record-type-descriptor* 'syntax-literals #f #f #f #f 2 3)) + (make-record-type-descriptor* + 'syntax-literals + #f + (|#%nongenerative-uid| syntax-literals) + #f + #f + 2 + 3)) (define effect_2378 (struct-type-install-properties! struct:syntax-literals @@ -35019,7 +35521,15 @@ v 'syntax-literals 'count)))))) -(define struct:header (make-record-type-descriptor* 'header #f #f #f #f 8 36)) +(define struct:header + (make-record-type-descriptor* + 'header + #f + (|#%nongenerative-uid| header) + #f + #f + 8 + 36)) (define effect_2959 (struct-type-install-properties! struct:header @@ -35222,7 +35732,14 @@ 'header 'require-vars-in-order)))))) (define struct:variable-use - (make-record-type-descriptor* 'variable-use #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'variable-use + #f + (|#%nongenerative-uid| variable-use) + #f + #f + 2 + 0)) (define effect_2316 (struct-type-install-properties! struct:variable-use @@ -36806,7 +37323,14 @@ (extra-inspectors-allow? extra-inspectors-2_0 guard-insp_0) #f)))))) (define struct:module-use* - (make-record-type-descriptor* 'module-use* struct:module-use #f #f #f 2 3)) + (make-record-type-descriptor* + 'module-use* + struct:module-use + (|#%nongenerative-uid| module-use*) + #f + #f + 2 + 3)) (define effect_2308 (struct-type-install-properties! struct:module-use* @@ -37234,7 +37758,14 @@ existing-mu*_0 new-extra-inspectorss_0)))))) (define struct:link-info - (make-record-type-descriptor* 'link-info #f #f #f #f 4 0)) + (make-record-type-descriptor* + 'link-info + #f + (|#%nongenerative-uid| link-info) + #f + #f + 4 + 0)) (define effect_2302 (struct-type-install-properties! struct:link-info @@ -44355,7 +44886,14 @@ (args (raise-binding-result-arity-error 4 args)))) (if log-performance? (end-performance-region) (void))))))))) (define struct:instance-data - (make-record-type-descriptor* 'instance-data #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'instance-data + #f + (|#%nongenerative-uid| instance-data) + #f + #f + 2 + 0)) (define effect_2509 (struct-type-install-properties! struct:instance-data @@ -46801,7 +47339,14 @@ (for-loop_0 hash2610 (hash-iterate-first ht_0)))))) c_0)))) (define struct:recompiled - (make-record-type-descriptor* 'recompiled #f #f #f #f 3 0)) + (make-record-type-descriptor* + 'recompiled + #f + (|#%nongenerative-uid| recompiled) + #f + #f + 3 + 0)) (define effect_2475 (struct-type-install-properties! struct:recompiled @@ -48342,7 +48887,14 @@ (define box-clear! (lambda (b_0) (begin0 (reverse$1 (unbox b_0)) (set-box! b_0 null)))) (define struct:lift-context - (make-record-type-descriptor* 'lift-context #f #f #f #f 3 0)) + (make-record-type-descriptor* + 'lift-context + #f + (|#%nongenerative-uid| lift-context) + #f + #f + 3 + 0)) (define effect_2900 (struct-type-install-properties! struct:lift-context @@ -48370,7 +48922,14 @@ (define lift-context-module*-ok? (|#%name| lift-context-module*-ok? (record-accessor struct:lift-context 2))) (define struct:lifted-bind - (make-record-type-descriptor* 'lifted-bind #f #f #f #f 3 0)) + (make-record-type-descriptor* + 'lifted-bind + #f + (|#%nongenerative-uid| lifted-bind) + #f + #f + 3 + 0)) (define effect_3182 (struct-type-install-properties! struct:lifted-bind @@ -48615,7 +49174,14 @@ fold-var_0)))))) (for-loop_0 null lifts_0)))))) (define struct:module-lift-context - (make-record-type-descriptor* 'module-lift-context #f #f #f #f 3 0)) + (make-record-type-descriptor* + 'module-lift-context + #f + (|#%nongenerative-uid| module-lift-context) + #f + #f + 3 + 0)) (define effect_2402 (struct-type-install-properties! struct:module-lift-context @@ -48690,7 +49256,14 @@ (error "internal error: unrecognized lift-context type for module lift")))))) (define struct:require-lift-context - (make-record-type-descriptor* 'require-lift-context #f #f #f #f 3 0)) + (make-record-type-descriptor* + 'require-lift-context + #f + (|#%nongenerative-uid| require-lift-context) + #f + #f + 3 + 0)) (define effect_2549 (struct-type-install-properties! struct:require-lift-context @@ -48737,7 +49310,14 @@ (|#%app| (require-lift-context-do-require require-lifts_0) s_0 phase_0) (box-cons! (require-lift-context-requires require-lifts_0) s_0)))) (define struct:to-module-lift-context - (make-record-type-descriptor* 'to-module-lift-context #f #f #f #f 4 0)) + (make-record-type-descriptor* + 'to-module-lift-context + #f + (|#%nongenerative-uid| to-module-lift-context) + #f + #f + 4 + 0)) (define effect_3102 (struct-type-install-properties! struct:to-module-lift-context @@ -48800,7 +49380,14 @@ (lambda (to-module-lifts_0 s_0 phase_0) (box-cons! (to-module-lift-context-ends to-module-lifts_0) s_0))) (define struct:already-expanded - (make-record-type-descriptor* 'expanded-syntax #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'expanded-syntax + #f + (|#%nongenerative-uid| expanded-syntax) + #f + #f + 2 + 0)) (define effect_2070 (struct-type-install-properties! struct:already-expanded @@ -48871,7 +49458,14 @@ liberal-define-context-value) (make-struct-type-property 'liberal-define-context)) (define struct:liberal-define-context - (make-record-type-descriptor* 'liberal-define-context #f #f #f #f 0 0)) + (make-record-type-descriptor* + 'liberal-define-context + #f + (|#%nongenerative-uid| liberal-define-context) + #f + #f + 0 + 0)) (define effect_2200 (struct-type-install-properties! struct:liberal-define-context @@ -49000,7 +49594,14 @@ (fail_0)) (fail_0)))))))) (define struct:reference-record - (make-record-type-descriptor* 'reference-record #f #f #f #f 3 7)) + (make-record-type-descriptor* + 'reference-record + #f + (|#%nongenerative-uid| reference-record) + #f + #f + 3 + 7)) (define effect_2434 (struct-type-install-properties! struct:reference-record @@ -49159,7 +49760,14 @@ (datum->syntax$1 app_0 new4_0 orig-s3_0 (if track?1_0 orig-s3_0 #f))) orig-s3_0))))) (define struct:expanded+parsed - (make-record-type-descriptor* 'expanded+parsed #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'expanded+parsed + #f + (|#%nongenerative-uid| expanded+parsed) + #f + #f + 2 + 0)) (define effect_2902 (struct-type-install-properties! struct:expanded+parsed @@ -49185,7 +49793,14 @@ (define expanded+parsed-parsed (|#%name| expanded+parsed-parsed (record-accessor struct:expanded+parsed 1))) (define struct:semi-parsed-define-values - (make-record-type-descriptor* 'semi-parsed-define-values #f #f #f #f 4 0)) + (make-record-type-descriptor* + 'semi-parsed-define-values + #f + (|#%nongenerative-uid| semi-parsed-define-values) + #f + #f + 4 + 0)) (define effect_2257 (struct-type-install-properties! struct:semi-parsed-define-values @@ -49228,7 +49843,14 @@ semi-parsed-define-values-rhs (record-accessor struct:semi-parsed-define-values 3))) (define struct:semi-parsed-begin-for-syntax - (make-record-type-descriptor* 'semi-parsed-begin-for-syntax #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'semi-parsed-begin-for-syntax + #f + (|#%nongenerative-uid| semi-parsed-begin-for-syntax) + #f + #f + 2 + 0)) (define effect_2603 (struct-type-install-properties! struct:semi-parsed-begin-for-syntax @@ -51285,7 +51907,14 @@ |#%declare| |#%stratified-body|))) (define struct:internal-definition-context - (make-record-type-descriptor* 'internal-definition-context #f #f #f #f 5 0)) + (make-record-type-descriptor* + 'internal-definition-context + #f + (|#%nongenerative-uid| internal-definition-context) + #f + #f + 5 + 0)) (define effect_1896 (struct-type-install-properties! struct:internal-definition-context @@ -51412,7 +52041,14 @@ 'internal-definition-context 'parent-ctx)))))) (define struct:env-mixin - (make-record-type-descriptor* 'env-mixin #f #f #f #f 4 0)) + (make-record-type-descriptor* + 'env-mixin + #f + (|#%nongenerative-uid| env-mixin) + #f + #f + 4 + 0)) (define effect_2815 (struct-type-install-properties! struct:env-mixin @@ -56195,7 +56831,14 @@ (compile_0 s_0 ns_0 serializable?8_0 unsafe-undefined)) ((s_0 ns7_0) (compile_0 s_0 ns7_0 #t unsafe-undefined)))))) (define struct:lifted-parsed-begin - (make-record-type-descriptor* 'lifted-parsed-begin #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'lifted-parsed-begin + #f + (|#%nongenerative-uid| lifted-parsed-begin) + #f + #f + 2 + 0)) (define effect_2903 (struct-type-install-properties! struct:lifted-parsed-begin @@ -58461,7 +59104,14 @@ (find-system-path 'orig-dir))) (|#%app| thunk_0)))) (define struct:shadow-directory - (make-record-type-descriptor* 'shadow-directory #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'shadow-directory + #f + (|#%nongenerative-uid| shadow-directory) + #f + #f + 2 + 0)) (define effect_2127 (struct-type-install-properties! struct:shadow-directory @@ -59370,7 +60020,14 @@ v_0)) 'current-readtable)) (define struct:read-config/outer - (make-record-type-descriptor* 'read-config #f #f #f #f 7 0)) + (make-record-type-descriptor* + 'read-config + #f + (|#%nongenerative-uid| read-config) + #f + #f + 7 + 0)) (define effect_2456 (struct-type-install-properties! struct:read-config/outer @@ -59410,7 +60067,14 @@ read-config-keep-comment? (record-accessor struct:read-config/outer 6))) (define struct:read-config/inner - (make-record-type-descriptor* 'read-config/inner #f #f #f #f 13 0)) + (make-record-type-descriptor* + 'read-config/inner + #f + (|#%nongenerative-uid| read-config/inner) + #f + #f + 13 + 0)) (define effect_2332 (struct-type-install-properties! struct:read-config/inner @@ -59567,7 +60231,14 @@ (define read-config-st (lambda (v_0) (read-config/inner-st (read-config/outer-inner v_0)))) (define struct:read-config-state - (make-record-type-descriptor* 'read-config-state #f #f #f #f 2 3)) + (make-record-type-descriptor* + 'read-config-state + #f + (|#%nongenerative-uid| read-config-state) + #f + #f + 2 + 3)) (define effect_2894 (struct-type-install-properties! struct:read-config-state @@ -60112,7 +60783,14 @@ (check-parameter 1/read-accept-reader config_0) (check-parameter 1/read-accept-lang config_0)))))) (define struct:special-comment - (make-record-type-descriptor* 'special-comment #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'special-comment + #f + (|#%nongenerative-uid| special-comment) + #f + #f + 1 + 0)) (define effect_2850 (struct-type-install-properties! struct:special-comment @@ -60136,7 +60814,14 @@ (define 1/special-comment-value (|#%name| special-comment-value (record-accessor struct:special-comment 0))) (define struct:readtable - (make-record-type-descriptor* 'readtable #f #f #f #f 4 0)) + (make-record-type-descriptor* + 'readtable + #f + (|#%nongenerative-uid| readtable) + #f + #f + 4 + 0)) (define effect_2799 (struct-type-install-properties! struct:readtable @@ -60512,7 +61197,15 @@ (args (raise-binding-result-arity-error 2 args)))) fold-var_0)))))) (for-loop_0 null (hash-iterate-first ht_0)))))))))) -(define struct:special (make-record-type-descriptor* 'special #f #f #f #f 1 0)) +(define struct:special + (make-record-type-descriptor* + 'special + #f + (|#%nongenerative-uid| special) + #f + #f + 1 + 0)) (define effect_2658 (struct-type-install-properties! struct:special @@ -61055,7 +61748,14 @@ (format "~a or ~a" p_0 (if s_0 s_0 c_0)) p_0))))))) (define struct:accum-string - (make-record-type-descriptor* 'accum-string #f #f #f #f 2 3)) + (make-record-type-descriptor* + 'accum-string + #f + (|#%nongenerative-uid| accum-string) + #f + #f + 2 + 3)) (define effect_2103 (struct-type-install-properties! struct:accum-string @@ -61172,7 +61872,14 @@ (begin-unsafe (read-config/inner-st (read-config/outer-inner config_0))) a_0))) (define struct:indentation - (make-record-type-descriptor* 'indentation #f #f #f #f 8 246)) + (make-record-type-descriptor* + 'indentation + #f + (|#%nongenerative-uid| indentation) + #f + #f + 8 + 246)) (define effect_2519 (struct-type-install-properties! struct:indentation @@ -62200,7 +62907,14 @@ convert-mode_0 single-mode_0)))) (define struct:parse-state - (make-record-type-descriptor* 'parse-state #f #f #f #f 5 0)) + (make-record-type-descriptor* + 'parse-state + #f + (|#%nongenerative-uid| parse-state) + #f + #f + 5 + 0)) (define effect_2060 (struct-type-install-properties! struct:parse-state @@ -62234,7 +62948,14 @@ parse-state-other-exactness (record-accessor struct:parse-state 4))) (define struct:rect-prefix - (make-record-type-descriptor* 'rect-prefix #f #f #f #f 3 0)) + (make-record-type-descriptor* + 'rect-prefix + #f + (|#%nongenerative-uid| rect-prefix) + #f + #f + 3 + 0)) (define effect_2587 (struct-type-install-properties! struct:rect-prefix @@ -62262,7 +62983,14 @@ (define rect-prefix-start (|#%name| rect-prefix-start (record-accessor struct:rect-prefix 2))) (define struct:polar-prefix - (make-record-type-descriptor* 'polar-prefix #f #f #f #f 3 0)) + (make-record-type-descriptor* + 'polar-prefix + #f + (|#%nongenerative-uid| polar-prefix) + #f + #f + 3 + 0)) (define effect_2784 (struct-type-install-properties! struct:polar-prefix @@ -62378,7 +63106,14 @@ (format "cannot combine extflonum `~a` into a complex number" i_0) #f))) (define struct:lazy-expt - (make-record-type-descriptor* 'lazy-expt #f #f #f #f 3 0)) + (make-record-type-descriptor* + 'lazy-expt + #f + (|#%nongenerative-uid| lazy-expt) + #f + #f + 3 + 0)) (define effect_2624 (struct-type-install-properties! struct:lazy-expt @@ -62405,7 +63140,14 @@ (define lazy-expt-exp (|#%name| lazy-expt-exp (record-accessor struct:lazy-expt 2))) (define struct:lazy-rational - (make-record-type-descriptor* 'lazy-rational #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'lazy-rational + #f + (|#%nongenerative-uid| lazy-rational) + #f + #f + 2 + 0)) (define effect_2285 (struct-type-install-properties! struct:lazy-rational diff --git a/racket/src/cs/schemified/io.scm b/racket/src/cs/schemified/io.scm index c69fe805b8..16c1d7b6b6 100644 --- a/racket/src/cs/schemified/io.scm +++ b/racket/src/cs/schemified/io.scm @@ -3589,7 +3589,15 @@ (|#%app| rktio_free h_0) (loop_0 #t)))))))))) (loop_0 #f)))))) -(define struct:exts (make-record-type-descriptor* 'exts #f #f #f #f 2 0)) +(define struct:exts + (make-record-type-descriptor* + 'exts + #f + (|#%nongenerative-uid| exts) + #f + #f + 2 + 0)) (define effect_2383 (struct-type-install-properties! struct:exts @@ -3875,7 +3883,14 @@ (wrap-evt (|#%app| (input-port-evt-ref p_0) p_0) (lambda (v_0) p_0)) (wrap-evt (|#%app| (output-port-evt-ref p_0) p_0) (lambda (v_0) p_0))))) (define struct:core-port - (make-record-type-descriptor* 'core-port #f #f #f #f 7 124)) + (make-record-type-descriptor* + 'core-port + #f + (|#%nongenerative-uid| core-port) + #f + #f + 7 + 124)) (define effect_2716 (struct-type-install-properties! struct:core-port @@ -3924,7 +3939,14 @@ (define set-core-port-count! (|#%name| set-core-port-count! (record-mutator struct:core-port 6))) (define struct:core-port-methods.1 - (make-record-type-descriptor* 'core-port-methods #f #f #f #f 5 0)) + (make-record-type-descriptor* + 'core-port-methods + #f + (|#%nongenerative-uid| core-port-methods) + #f + #f + 5 + 0)) (define effect_2750 (struct-type-install-properties! struct:core-port-methods.1 @@ -4052,7 +4074,15 @@ #f #f #f)) -(define struct:direct (make-record-type-descriptor* 'direct #f #f #f #f 3 7)) +(define struct:direct + (make-record-type-descriptor* + 'direct + #f + (|#%nongenerative-uid| direct) + #f + #f + 3 + 7)) (define effect_3200 (struct-type-install-properties! struct:direct @@ -4082,7 +4112,14 @@ (define set-direct-end! (|#%name| set-direct-end! (record-mutator struct:direct 2))) (define struct:location - (make-record-type-descriptor* 'location #f #f #f #f 5 31)) + (make-record-type-descriptor* + 'location + #f + (|#%nongenerative-uid| location) + #f + #f + 5 + 31)) (define effect_2872 (struct-type-install-properties! struct:location @@ -4185,7 +4222,7 @@ (make-record-type-descriptor* 'core-input-port struct:core-port - #f + (|#%nongenerative-uid| core-input-port) #f #f 2 @@ -4260,7 +4297,7 @@ (make-record-type-descriptor* 'core-input-port-methods struct:core-port-methods.1 - #f + (|#%nongenerative-uid| core-input-port-methods) #f #f 6 @@ -4504,7 +4541,7 @@ (make-record-type-descriptor* 'core-output-port struct:core-port - #f + (|#%nongenerative-uid| core-output-port) #f #f 4 @@ -4580,7 +4617,7 @@ (make-record-type-descriptor* 'core-output-port-methods struct:core-port-methods.1 - #f + (|#%nongenerative-uid| core-output-port-methods) #f #f 4 @@ -4748,7 +4785,14 @@ (values #f (replace-evt v_0 self-evt_0)) (values (list v_0) #f))))))))) (define struct:write-evt - (make-record-type-descriptor* 'write-evt #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'write-evt + #f + (|#%nongenerative-uid| write-evt) + #f + #f + 1 + 0)) (define effect_2681 (struct-type-install-properties! struct:write-evt @@ -4813,7 +4857,14 @@ #f #f)) (define struct:utf-8-state - (make-record-type-descriptor* 'utf-8-state #f #f #f #f 3 0)) + (make-record-type-descriptor* + 'utf-8-state + #f + (|#%nongenerative-uid| utf-8-state) + #f + #f + 3 + 0)) (define effect_2417 (struct-type-install-properties! struct:utf-8-state @@ -6633,7 +6684,14 @@ (set-core-port-offset! in_0 (+ amt_0 old-offset_0)) (void)))))) (define struct:commit-manager - (make-record-type-descriptor* 'commit-manager #f #f #f #f 3 0)) + (make-record-type-descriptor* + 'commit-manager + #f + (|#%nongenerative-uid| commit-manager) + #f + #f + 3 + 0)) (define effect_3024 (struct-type-install-properties! struct:commit-manager @@ -6717,7 +6775,14 @@ 'commit-manager 'thread)))))) (define struct:commit-request - (make-record-type-descriptor* 'commit-request #f #f #f #f 5 0)) + (make-record-type-descriptor* + 'commit-request + #f + (|#%nongenerative-uid| commit-request) + #f + #f + 5 + 0)) (define effect_2327 (struct-type-install-properties! struct:commit-request @@ -6835,7 +6900,14 @@ 'commit-request 'result-ch)))))) (define struct:commit-response - (make-record-type-descriptor* 'commit-response #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'commit-response + #f + (|#%nongenerative-uid| commit-response) + #f + #f + 2 + 0)) (define effect_2424 (struct-type-install-properties! struct:commit-response @@ -7149,7 +7221,7 @@ (make-record-type-descriptor* 'commit-input-port struct:core-input-port - #f + (|#%nongenerative-uid| commit-input-port) #f #f 2 @@ -7194,7 +7266,7 @@ (make-record-type-descriptor* 'commit-input-port-methods struct:core-input-port-methods.1 - #f + (|#%nongenerative-uid| commit-input-port-methods) #f #f 0 @@ -7366,7 +7438,14 @@ (begin (temp3.1$3 d_0) (temp4.1$2 d_0)) (unsafe-end-atomic)))))))) (define struct:pipe-data - (make-record-type-descriptor* 'pipe-data #f #f #f #f 16 65534)) + (make-record-type-descriptor* + 'pipe-data + #f + (|#%nongenerative-uid| pipe-data) + #f + #f + 16 + 65534)) (define effect_3136 (struct-type-install-properties! struct:pipe-data @@ -7461,7 +7540,14 @@ set-pipe-data-write-ready-evt! (record-mutator struct:pipe-data 15))) (define struct:pipe-data-methods.1 - (make-record-type-descriptor* 'pipe-data-methods #f #f #f #f 0 0)) + (make-record-type-descriptor* + 'pipe-data-methods + #f + (|#%nongenerative-uid| pipe-data-methods) + #f + #f + 0 + 0)) (define effect_2891 (struct-type-install-properties! struct:pipe-data-methods.1 @@ -7591,7 +7677,7 @@ (make-record-type-descriptor* 'pipe-input-port struct:commit-input-port - #f + (|#%nongenerative-uid| pipe-input-port) #f #f 1 @@ -7624,7 +7710,7 @@ (make-record-type-descriptor* 'pipe-input-port-methods struct:commit-input-port-methods.1 - #f + (|#%nongenerative-uid| pipe-input-port-methods) #f #f 0 @@ -7987,7 +8073,7 @@ (make-record-type-descriptor* 'pipe-output-port struct:core-output-port - #f + (|#%nongenerative-uid| pipe-output-port) #f #f 1 @@ -8022,7 +8108,7 @@ (make-record-type-descriptor* 'pipe-output-port-methods struct:core-output-port-methods.1 - #f + (|#%nongenerative-uid| pipe-output-port-methods) #f #f 0 @@ -8596,7 +8682,14 @@ ((limit_0 input-name25_0) (make-pipe_0 limit_0 input-name25_0 'pipe)) ((limit24_0) (make-pipe_0 limit24_0 'pipe 'pipe)))))) (define struct:pipe-write-poller - (make-record-type-descriptor* 'pipe-write-poller #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'pipe-write-poller + #f + (|#%nongenerative-uid| pipe-write-poller) + #f + #f + 1 + 0)) (define effect_2371 (struct-type-install-properties! struct:pipe-write-poller @@ -8674,7 +8767,14 @@ 'pipe-write-poller 'd)))))) (define struct:pipe-read-poller - (make-record-type-descriptor* 'pipe-read-poller #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'pipe-read-poller + #f + (|#%nongenerative-uid| pipe-read-poller) + #f + #f + 1 + 0)) (define effect_2439 (struct-type-install-properties! struct:pipe-read-poller @@ -8755,7 +8855,7 @@ (make-record-type-descriptor* 'peek-via-read-input-port struct:commit-input-port - #f + (|#%nongenerative-uid| peek-via-read-input-port) #f #f 5 @@ -8829,7 +8929,7 @@ (make-record-type-descriptor* 'peek-via-read-input-port-methods struct:commit-input-port-methods.1 - #f + (|#%nongenerative-uid| peek-via-read-input-port-methods) #f #f 1 @@ -9535,7 +9635,7 @@ (make-record-type-descriptor* 'fd-input-port struct:peek-via-read-input-port - #f + (|#%nongenerative-uid| fd-input-port) #f #f 3 @@ -9589,7 +9689,7 @@ (make-record-type-descriptor* 'fd-input-port-methods struct:peek-via-read-input-port-methods.1 - #f + (|#%nongenerative-uid| fd-input-port-methods) #f #f 2 @@ -9843,7 +9943,7 @@ (make-record-type-descriptor* 'fd-output-port struct:core-output-port - #f + (|#%nongenerative-uid| fd-output-port) #f #f 8 @@ -9955,7 +10055,7 @@ (make-record-type-descriptor* 'fd-output-port-methods struct:core-output-port-methods.1 - #f + (|#%nongenerative-uid| fd-output-port-methods) #f #f 2 @@ -10552,7 +10652,15 @@ (format-rktio-message 'file-position r_0 base-msg_0))) (|#%app| exn:fail app_0 (current-continuation-marks))))))) (void))))) -(define struct:fd-evt (make-record-type-descriptor* 'fd-evt #f #f #f #f 3 4)) +(define struct:fd-evt + (make-record-type-descriptor* + 'fd-evt + #f + (|#%nongenerative-uid| fd-evt) + #f + #f + 3 + 4)) (define effect_2551 (struct-type-install-properties! struct:fd-evt @@ -10684,7 +10792,14 @@ 'fd-evt 'closed)))))) (define struct:rktio-fd-flushed-evt - (make-record-type-descriptor* 'rktio-fd-flushed-evt #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'rktio-fd-flushed-evt + #f + (|#%nongenerative-uid| rktio-fd-flushed-evt) + #f + #f + 1 + 0)) (define effect_2495 (struct-type-install-properties! struct:rktio-fd-flushed-evt @@ -11469,7 +11584,14 @@ (loop_0 (fx+ i_0 1))))))))))) (loop_0 pos_0)))))))))) (define struct:progress-evt - (make-record-type-descriptor* 'progress-evt #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'progress-evt + #f + (|#%nongenerative-uid| progress-evt) + #f + #f + 2 + 0)) (define effect_2813 (struct-type-install-properties! struct:progress-evt @@ -14785,7 +14907,14 @@ (unsafe-bytes-set! out-bstr_0 j_0 lo_0) (unsafe-bytes-set! out-bstr_0 (+ j_0 1) hi_0))))) (define struct:utf-8-converter - (make-record-type-descriptor* 'utf-8-converter #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'utf-8-converter + #f + (|#%nongenerative-uid| utf-8-converter) + #f + #f + 2 + 0)) (define effect_2723 (struct-type-install-properties! struct:utf-8-converter @@ -15712,7 +15841,14 @@ (continue_0 v_0 (+ i_0 2))))))))))))))) (loop_0 in-start20_0 out-start23_0)))))) (define struct:bytes-converter - (make-record-type-descriptor* 'bytes-converter #f #f #f #f 2 3)) + (make-record-type-descriptor* + 'bytes-converter + #f + (|#%nongenerative-uid| bytes-converter) + #f + #f + 2 + 3)) (define effect_2529 (struct-type-install-properties! struct:bytes-converter @@ -16581,7 +16717,15 @@ (args (raise-binding-result-arity-error 4 args)))) (void))) (check-not-unsafe-undefined bstr_0 'bstr_119)))))) -(define struct:cache (make-record-type-descriptor* 'cache #f #f #f #f 4 15)) +(define struct:cache + (make-record-type-descriptor* + 'cache + #f + (|#%nongenerative-uid| cache) + #f + #f + 4 + 15)) (define effect_2666 (struct-type-install-properties! struct:cache @@ -16947,7 +17091,15 @@ (bytes->string/locale_0 in-bstr_0 err-char_0 start6_0 unsafe-undefined)) ((in-bstr_0 err-char5_0) (bytes->string/locale_0 in-bstr_0 err-char5_0 0 unsafe-undefined)))))) -(define struct:path (make-record-type-descriptor* 'path #f #f #f #f 2 0)) +(define struct:path + (make-record-type-descriptor* + 'path + #f + (|#%nongenerative-uid| path) + #f + #f + 2 + 0)) (define effect_2481 (struct-type-install-properties! struct:path @@ -18245,7 +18397,7 @@ (make-record-type-descriptor* 'bytes-input-port struct:commit-input-port - #f + (|#%nongenerative-uid| bytes-input-port) #f #f 3 @@ -18294,7 +18446,7 @@ (make-record-type-descriptor* 'bytes-input-port-methods struct:commit-input-port-methods.1 - #f + (|#%nongenerative-uid| bytes-input-port-methods) #f #f 0 @@ -18525,7 +18677,7 @@ (make-record-type-descriptor* 'bytes-output-port struct:core-output-port - #f + (|#%nongenerative-uid| bytes-output-port) #f #f 3 @@ -18578,7 +18730,7 @@ (make-record-type-descriptor* 'bytes-output-port-methods struct:core-output-port-methods.1 - #f + (|#%nongenerative-uid| bytes-output-port-methods) #f #f 2 @@ -19031,7 +19183,7 @@ (make-record-type-descriptor* 'max-output-port struct:core-output-port - #f + (|#%nongenerative-uid| max-output-port) #f #f 2 @@ -19072,7 +19224,7 @@ (make-record-type-descriptor* 'max-output-port-methods struct:core-output-port-methods.1 - #f + (|#%nongenerative-uid| max-output-port-methods) #f #f 0 @@ -19994,7 +20146,7 @@ (make-record-type-descriptor* 'nowhere-output-port struct:core-output-port - #f + (|#%nongenerative-uid| nowhere-output-port) #f #f 0 @@ -20025,7 +20177,7 @@ (make-record-type-descriptor* 'nowhere-output-port-methods struct:core-output-port-methods.1 - #f + (|#%nongenerative-uid| nowhere-output-port-methods) #f #f 0 @@ -20269,7 +20421,14 @@ fuel_1))))))))))))) (quick-no-graph?_0 v_0 fuel_0)))) (define struct:as-constructor - (make-record-type-descriptor* 'as-constructor #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'as-constructor + #f + (|#%nongenerative-uid| as-constructor) + #f + #f + 1 + 0)) (define effect_2971 (struct-type-install-properties! struct:as-constructor @@ -23260,7 +23419,14 @@ (just-separators-after? s_0 2) #f)))))) (define struct:starting-point - (make-record-type-descriptor* 'starting-point #f #f #f #f 7 0)) + (make-record-type-descriptor* + 'starting-point + #f + (|#%nongenerative-uid| starting-point) + #f + #f + 7 + 0)) (define effect_2720 (struct-type-install-properties! struct:starting-point @@ -25235,7 +25401,14 @@ (define listen-port-number? (lambda (v_0) (if (fixnum? v_0) (<= 0 v_0 65535) #f))) (define struct:security-guard - (make-record-type-descriptor* 'security-guard #f #f #f #f 4 0)) + (make-record-type-descriptor* + 'security-guard + #f + (|#%nongenerative-uid| security-guard) + #f + #f + 4 + 0)) (define effect_2690 (struct-type-install-properties! struct:security-guard @@ -29683,7 +29856,14 @@ (1/string->bytes/locale (string-foldcase (1/bytes->string/locale k_0)))) k_0))) (define struct:environment-variables - (make-record-type-descriptor* 'environment-variables #f #f #f #f 1 1)) + (make-record-type-descriptor* + 'environment-variables + #f + (|#%nongenerative-uid| environment-variables) + #f + #f + 1 + 1)) (define effect_2652 (struct-type-install-properties! struct:environment-variables @@ -31408,7 +31588,14 @@ (define adjust-path (lambda (p_0) (if (is-path? p_0) (relative-to-user-directory p_0) p_0))) (define struct:logger - (make-record-type-descriptor* 'logger #f #f #f #f 11 376)) + (make-record-type-descriptor* + 'logger + #f + (|#%nongenerative-uid| logger) + #f + #f + 11 + 376)) (define effect_2192 (struct-type-install-properties! struct:logger @@ -31871,7 +32058,15 @@ (loop_0 filters_0 'none)))) (define level->user-representation (lambda (lvl_0) (if (eq? lvl_0 'none) #f lvl_0))) -(define struct:queue (make-record-type-descriptor* 'queue #f #f #f #f 2 3)) +(define struct:queue + (make-record-type-descriptor* + 'queue + #f + (|#%nongenerative-uid| queue) + #f + #f + 2 + 3)) (define effect_2520 (struct-type-install-properties! struct:queue @@ -31897,7 +32092,15 @@ (|#%name| set-queue-start! (record-mutator struct:queue 0))) (define set-queue-end! (|#%name| set-queue-end! (record-mutator struct:queue 1))) -(define struct:node (make-record-type-descriptor* 'node #f #f #f #f 3 6)) +(define struct:node + (make-record-type-descriptor* + 'node + #f + (|#%nongenerative-uid| node) + #f + #f + 3 + 6)) (define effect_2547 (struct-type-install-properties! struct:node @@ -31954,7 +32157,14 @@ (let ((app_0 (node-next n_0))) (set-node-prev! app_0 (node-prev n_0))) (set-queue-end! q_0 (node-prev n_0)))))) (define struct:log-receiver - (make-record-type-descriptor* 'log-receiver #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'log-receiver + #f + (|#%nongenerative-uid| log-receiver) + #f + #f + 1 + 0)) (define effect_2708 (struct-type-install-properties! struct:log-receiver @@ -32008,7 +32218,7 @@ (make-record-type-descriptor* 'log-receiver struct:log-receiver - #f + (|#%nongenerative-uid| log-receiver) #f #f 3 @@ -32189,7 +32399,7 @@ (make-record-type-descriptor* 'stdio-log-receiver struct:log-receiver - #f + (|#%nongenerative-uid| stdio-log-receiver) #f #f 2 @@ -32335,7 +32545,7 @@ (make-record-type-descriptor* 'syslog-log-receiver struct:log-receiver - #f + (|#%nongenerative-uid| syslog-log-receiver) #f #f 2 @@ -33298,7 +33508,14 @@ (loop_0 logger_0)) (void))))) (define struct:fs-change-evt - (make-record-type-descriptor* 'filesystem-change-evt #f #f #f #f 2 3)) + (make-record-type-descriptor* + 'filesystem-change-evt + #f + (|#%nongenerative-uid| filesystem-change-evt) + #f + #f + 2 + 3)) (define effect_2322 (struct-type-install-properties! struct:fs-change-evt @@ -33793,7 +34010,14 @@ (let ((bstr_0 (make-bytes sz_0))) (begin (|#%app| final_0 p_0 bstr_0) bstr_0)))))))))) (define struct:subprocess - (make-record-type-descriptor* 'subprocess #f #f #f #f 3 3)) + (make-record-type-descriptor* + 'subprocess + #f + (|#%nongenerative-uid| subprocess) + #f + #f + 3 + 3)) (define effect_2272 (struct-type-install-properties! struct:subprocess @@ -34666,7 +34890,7 @@ (make-record-type-descriptor* 'tcp-input-port struct:fd-input-port - #f + (|#%nongenerative-uid| tcp-input-port) #f #f 1 @@ -34707,7 +34931,7 @@ (make-record-type-descriptor* 'tcp-input-port-methods struct:fd-input-port-methods.1 - #f + (|#%nongenerative-uid| tcp-input-port-methods) #f #f 0 @@ -34843,7 +35067,7 @@ (make-record-type-descriptor* 'tcp-output-port struct:fd-output-port - #f + (|#%nongenerative-uid| tcp-output-port) #f #f 1 @@ -34886,7 +35110,7 @@ (make-record-type-descriptor* 'tcp-output-port-methods struct:fd-output-port-methods.1 - #f + (|#%nongenerative-uid| tcp-output-port-methods) #f #f 0 @@ -35040,7 +35264,14 @@ (begin (set-tcp-output-port-abandon?! cp_0 #t) (close-port p_0)) (void)))))))) (define struct:rktio-evt - (make-record-type-descriptor* 'rktio-evt #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'rktio-evt + #f + (|#%nongenerative-uid| rktio-evt) + #f + #f + 2 + 0)) (define effect_2914 (struct-type-install-properties! struct:rktio-evt @@ -35224,7 +35455,14 @@ (define address-init! (lambda () (unsafe-place-local-set! cell.1$3 (make-will-executor)))) (define struct:connect-progress - (make-record-type-descriptor* 'connect-progress #f #f #f #f 2 3)) + (make-record-type-descriptor* + 'connect-progress + #f + (|#%nongenerative-uid| connect-progress) + #f + #f + 2 + 3)) (define effect_2403 (struct-type-install-properties! struct:connect-progress @@ -35596,7 +35834,14 @@ (set-connect-progress-trying-fd! conn-prog_0 #f)) (void))))) (define struct:tcp-listener - (make-record-type-descriptor* 'tcp-listener #f #f #f #f 3 0)) + (make-record-type-descriptor* + 'tcp-listener + #f + (|#%nongenerative-uid| tcp-listener) + #f + #f + 3 + 0)) (define effect_2611 (struct-type-install-properties! struct:tcp-listener @@ -35972,7 +36217,14 @@ (raise-argument-error 'tcp-accept-evt "tcp-listener?" listener_0)) (accept-evt6.1 listener_0)))))) (define struct:accept-evt - (make-record-type-descriptor* 'tcp-accept-evt #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'tcp-accept-evt + #f + (|#%nongenerative-uid| tcp-accept-evt) + #f + #f + 1 + 0)) (define effect_2325 (struct-type-install-properties! struct:accept-evt @@ -36135,7 +36387,8 @@ v_0)))))) (for-loop_0 0 0)))) (args (raise-binding-result-arity-error 2 args)))))) -(define struct:udp (make-record-type-descriptor* 'udp #f #f #f #f 3 7)) +(define struct:udp + (make-record-type-descriptor* 'udp #f (|#%nongenerative-uid| udp) #f #f 3 7)) (define effect_2368 (struct-type-install-properties! struct:udp @@ -37309,7 +37562,14 @@ u60_0))))))) (loop_0))))))) (define struct:udp-sending-evt - (make-record-type-descriptor* 'udp-send-evt #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'udp-send-evt + #f + (|#%nongenerative-uid| udp-send-evt) + #f + #f + 2 + 0)) (define effect_2348 (struct-type-install-properties! struct:udp-sending-evt @@ -37362,7 +37622,7 @@ (make-record-type-descriptor* 'udp-send-ready-evt struct:rktio-evt - #f + (|#%nongenerative-uid| udp-send-ready-evt) #f #f 0 @@ -37691,7 +37951,14 @@ (define cell.1$2 (unsafe-make-place-local #vu8())) (define cell.2 (unsafe-make-place-local "")) (define struct:udp-receiving-evt - (make-record-type-descriptor* 'udp-receive-evt #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'udp-receive-evt + #f + (|#%nongenerative-uid| udp-receive-evt) + #f + #f + 2 + 0)) (define effect_2847 (struct-type-install-properties! struct:udp-receiving-evt @@ -37749,7 +38016,7 @@ (make-record-type-descriptor* 'udp-receive-ready-evt struct:rktio-evt - #f + (|#%nongenerative-uid| udp-receive-ready-evt) #f #f 0 diff --git a/racket/src/cs/schemified/regexp.scm b/racket/src/cs/schemified/regexp.scm index 543faa3b61..60a53b39ee 100644 --- a/racket/src/cs/schemified/regexp.scm +++ b/racket/src/cs/schemified/regexp.scm @@ -865,7 +865,15 @@ (define rx:line-end 'line-end) (define rx:word-boundary 'word-boundary) (define rx:not-word-boundary 'not-word-boundary) -(define struct:rx:alts (make-record-type-descriptor* 'rx:alts #f #f #f #f 2 0)) +(define struct:rx:alts + (make-record-type-descriptor* + 'rx:alts + #f + (|#%nongenerative-uid| rx:alts) + #f + #f + 2 + 0)) (define effect_2665 (struct-type-install-properties! struct:rx:alts @@ -914,7 +922,14 @@ ($value (impersonate-ref rx:alts-rx_2917 struct:rx:alts 1 s 'rx:alts 'rx2)))))) (define struct:rx:sequence - (make-record-type-descriptor* 'rx:sequence #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'rx:sequence + #f + (|#%nongenerative-uid| rx:sequence) + #f + #f + 2 + 0)) (define effect_2137 (struct-type-install-properties! struct:rx:sequence @@ -978,7 +993,14 @@ 'rx:sequence 'needs-backtrack?)))))) (define struct:rx:group - (make-record-type-descriptor* 'rx:group #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'rx:group + #f + (|#%nongenerative-uid| rx:group) + #f + #f + 2 + 0)) (define effect_2340 (struct-type-install-properties! struct:rx:group @@ -1039,7 +1061,14 @@ 'rx:group 'number)))))) (define struct:rx:repeat - (make-record-type-descriptor* 'rx:repeat #f #f #f #f 4 0)) + (make-record-type-descriptor* + 'rx:repeat + #f + (|#%nongenerative-uid| rx:repeat) + #f + #f + 4 + 0)) (define effect_2551 (struct-type-install-properties! struct:rx:repeat @@ -1133,7 +1162,14 @@ 'rx:repeat 'non-greedy?)))))) (define struct:rx:maybe - (make-record-type-descriptor* 'rx:maybe #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'rx:maybe + #f + (|#%nongenerative-uid| rx:maybe) + #f + #f + 2 + 0)) (define effect_2619 (struct-type-install-properties! struct:rx:maybe @@ -1194,7 +1230,14 @@ 'rx:maybe 'non-greedy?)))))) (define struct:rx:conditional - (make-record-type-descriptor* 'rx:conditional #f #f #f #f 6 0)) + (make-record-type-descriptor* + 'rx:conditional + #f + (|#%nongenerative-uid| rx:conditional) + #f + #f + 6 + 0)) (define effect_2459 (struct-type-install-properties! struct:rx:conditional @@ -1324,7 +1367,14 @@ 'rx:conditional 'needs-backtrack?)))))) (define struct:rx:lookahead - (make-record-type-descriptor* 'rx:lookahead #f #f #f #f 4 0)) + (make-record-type-descriptor* + 'rx:lookahead + #f + (|#%nongenerative-uid| rx:lookahead) + #f + #f + 4 + 0)) (define effect_2324 (struct-type-install-properties! struct:rx:lookahead @@ -1420,7 +1470,14 @@ 'rx:lookahead 'num-n)))))) (define struct:rx:lookbehind - (make-record-type-descriptor* 'rx:lookbehind #f #f #f #f 6 12)) + (make-record-type-descriptor* + 'rx:lookbehind + #f + (|#%nongenerative-uid| rx:lookbehind) + #f + #f + 6 + 12)) (define effect_2263 (struct-type-install-properties! struct:rx:lookbehind @@ -1583,7 +1640,15 @@ v 'rx:lookbehind 'lb-max)))))) -(define struct:rx:cut (make-record-type-descriptor* 'rx:cut #f #f #f #f 4 0)) +(define struct:rx:cut + (make-record-type-descriptor* + 'rx:cut + #f + (|#%nongenerative-uid| rx:cut) + #f + #f + 4 + 0)) (define effect_2942 (struct-type-install-properties! struct:rx:cut @@ -1669,7 +1734,14 @@ 'rx:cut 'needs-backtrack?)))))) (define struct:rx:reference - (make-record-type-descriptor* 'rx:reference #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'rx:reference + #f + (|#%nongenerative-uid| rx:reference) + #f + #f + 2 + 0)) (define effect_2344 (struct-type-install-properties! struct:rx:reference @@ -1735,7 +1807,14 @@ 'rx:reference 'case-sensitive?)))))) (define struct:rx:range - (make-record-type-descriptor* 'rx:range #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'rx:range + #f + (|#%nongenerative-uid| rx:range) + #f + #f + 1 + 0)) (define effect_2702 (struct-type-install-properties! struct:rx:range @@ -1780,7 +1859,14 @@ 'rx:range 'range)))))) (define struct:rx:unicode-categories - (make-record-type-descriptor* 'rx:unicode-categories #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'rx:unicode-categories + #f + (|#%nongenerative-uid| rx:unicode-categories) + #f + #f + 2 + 0)) (define effect_2129 (struct-type-install-properties! struct:rx:unicode-categories @@ -2044,7 +2130,14 @@ (let ((or-part_0 (needs-backtrack? pces1_0))) (if or-part_0 or-part_0 (needs-backtrack? pces2_0)))))) (define struct:parse-config - (make-record-type-descriptor* 'parse-config #f #f #f #f 7 0)) + (make-record-type-descriptor* + 'parse-config + #f + (|#%nongenerative-uid| parse-config) + #f + #f + 7 + 0)) (define effect_2566 (struct-type-install-properties! struct:parse-config @@ -4605,7 +4698,14 @@ #f))))))))))))))))))) (define union (lambda (a_0 b_0) (if a_0 (if b_0 (range-union a_0 b_0) #f) #f))) (define struct:lazy-bytes - (make-record-type-descriptor* 'lazy-bytes #f #f #f #f 13 3075)) + (make-record-type-descriptor* + 'lazy-bytes + #f + (|#%nongenerative-uid| lazy-bytes) + #f + #f + 13 + 3075)) (define effect_2272 (struct-type-install-properties! struct:lazy-bytes @@ -7143,7 +7243,14 @@ (range-matcher* (compile-range (rx:range-range rx_0)) max_0) #f)))))) (define struct:rx:regexp - (make-record-type-descriptor* 'regexp #f #f #f #f 10 0)) + (make-record-type-descriptor* + 'regexp + #f + (|#%nongenerative-uid| regexp) + #f + #f + 10 + 0)) (define effect_2093 (struct-type-install-properties! struct:rx:regexp diff --git a/racket/src/cs/schemified/schemify.scm b/racket/src/cs/schemified/schemify.scm index 4e6070c112..499affea13 100644 --- a/racket/src/cs/schemified/schemify.scm +++ b/racket/src/cs/schemified/schemify.scm @@ -4435,7 +4435,15 @@ (let ((app_0 (if (string? prefix_0) prefix_0 (symbol->string prefix_0)))) (string-append app_0 (number->string (unbox b_0))))))))) -(define struct:import (make-record-type-descriptor* 'import #f #f #f #f 4 0)) +(define struct:import + (make-record-type-descriptor* + 'import + #f + (|#%nongenerative-uid| import) + #f + #f + 4 + 0)) (define effect_2897 (struct-type-install-properties! struct:import @@ -4515,7 +4523,14 @@ 'import 'ext-id)))))) (define struct:import-group - (make-record-type-descriptor* 'import-group #f #f #f #f 6 60)) + (make-record-type-descriptor* + 'import-group + #f + (|#%nongenerative-uid| import-group) + #f + #f + 6 + 60)) (define effect_2514 (struct-type-install-properties! struct:import-group @@ -4877,7 +4892,15 @@ (|#%app| inc-index!_0) (|#%app| add-group!_0 grp_0) grp_0)))))) -(define struct:export (make-record-type-descriptor* 'export #f #f #f #f 2 0)) +(define struct:export + (make-record-type-descriptor* + 'export + #f + (|#%nongenerative-uid| export) + #f + #f + 2 + 0)) (define effect_2166 (struct-type-install-properties! struct:export @@ -4931,7 +4954,14 @@ 'export 'ext-id)))))) (define struct:too-early - (make-record-type-descriptor* 'too-early #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'too-early + #f + (|#%nongenerative-uid| too-early) + #f + #f + 2 + 0)) (define effect_2681 (struct-type-install-properties! struct:too-early @@ -7233,7 +7263,14 @@ ((k_0 im_0) k_0) (args (raise-binding-result-arity-error 2 args)))))) (define struct:struct-type-info - (make-record-type-descriptor* 'struct-type-info #f #f #f #f 10 0)) + (make-record-type-descriptor* + 'struct-type-info + #f + (|#%nongenerative-uid| struct-type-info) + #f + #f + 10 + 0)) (define effect_3042 (struct-type-install-properties! struct:struct-type-info @@ -15868,7 +15905,8 @@ mutated_0 schemify_0 target_0 - no-prompt?_0) + no-prompt?_0 + top?_0) (let ((hd_0 (let ((p_0 (unwrap form_0))) (if (pair? p_0) (unwrap (car p_0)) #f)))) @@ -16926,7 +16964,13 @@ (if (not (struct-type-info-prefab-immutables sti_0)) - #f + (if (if top?_0 + (eq? target_0 'system) + #f) + (list + '|#%nongenerative-uid| + (struct-type-info-name sti_0)) + #f) (let ((app_2 (list 'quote @@ -17921,7 +17965,8 @@ mutated11_0 schemify13_0 target3_0 - #t))) + #t + #f))) (if new-seq_0 (let ((hd_0 (let ((p_0 (unwrap new-seq_0))) @@ -25232,7 +25277,8 @@ 'fresh v_3)) target_0 - no-prompt?_0))) + no-prompt?_0 + #t))) (if new-seq_0 new-seq_0 (if (let ((p_0 (unwrap v_2))) @@ -30149,7 +30195,14 @@ (schemify_0 v_1 wcm-state_1))))))) (schemify/knowns_0 knowns_0 8 wcm-state_0 v_0)))) (define struct:convert-mode - (make-record-type-descriptor* 'convert-mode #f #f #f #f 4 0)) + (make-record-type-descriptor* + 'convert-mode + #f + (|#%nongenerative-uid| convert-mode) + #f + #f + 4 + 0)) (define effect_2645 (struct-type-install-properties! struct:convert-mode @@ -39282,7 +39335,14 @@ #t (if (extflonum? q_0) #t #f)))))))))))))) (define struct:to-unfasl - (make-record-type-descriptor* 'to-unfasl #f #f #f #f 3 0)) + (make-record-type-descriptor* + 'to-unfasl + #f + (|#%nongenerative-uid| to-unfasl) + #f + #f + 3 + 0)) (define effect_3053 (struct-type-install-properties! struct:to-unfasl @@ -39425,7 +39485,15 @@ 'write "cannot marshal value that is embedded in compiled code\n value: ~v" v_0))) -(define struct:node (make-record-type-descriptor* 'node #f #f #f #f 5 0)) +(define struct:node + (make-record-type-descriptor* + 'node + #f + (|#%nongenerative-uid| node) + #f + #f + 5 + 0)) (define effect_2498 (struct-type-install-properties! struct:node @@ -39740,7 +39808,14 @@ (stack-set stack_1 pos_1 (car vals_1)))))))))))) (loop_0 pos_0 vals_0 count_0 stack_0)))))) (define struct:stack-info - (make-record-type-descriptor* 'stack-info #f #f #f #f 5 28)) + (make-record-type-descriptor* + 'stack-info + #f + (|#%nongenerative-uid| stack-info) + #f + #f + 5 + 28)) (define effect_2396 (struct-type-install-properties! struct:stack-info @@ -40091,7 +40166,14 @@ (lambda (stk-i_0 stack-depth_0) (set-stack-info-non-tail-call-later?! stk-i_0 #t))) (define struct:indirect - (make-record-type-descriptor* 'indirect #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'indirect + #f + (|#%nongenerative-uid| indirect) + #f + #f + 2 + 0)) (define effect_2066 (struct-type-install-properties! struct:indirect @@ -40151,7 +40233,15 @@ s 'indirect 'element)))))) -(define struct:boxed (make-record-type-descriptor* 'boxed #f #f #f #f 1 0)) +(define struct:boxed + (make-record-type-descriptor* + 'boxed + #f + (|#%nongenerative-uid| boxed) + #f + #f + 1 + 0)) (define effect_2558 (struct-type-install-properties! struct:boxed @@ -40189,7 +40279,14 @@ ($value (impersonate-ref boxed-pos_2515 struct:boxed 0 s 'boxed 'pos)))))) (define struct:boxed/check - (make-record-type-descriptor* 'boxed/check struct:boxed #f #f #f 0 0)) + (make-record-type-descriptor* + 'boxed/check + struct:boxed + (|#%nongenerative-uid| boxed/check) + #f + #f + 0 + 0)) (define effect_2563 (struct-type-install-properties! struct:boxed/check diff --git a/racket/src/cs/schemified/thread.scm b/racket/src/cs/schemified/thread.scm index eda69aa6cf..34c3fd4348 100644 --- a/racket/src/cs/schemified/thread.scm +++ b/racket/src/cs/schemified/thread.scm @@ -972,7 +972,15 @@ (void) (raise-argument-error 'hash-empty? "hash?" table_0)) (zero? (hash-count table_0))))) -(define struct:queue (make-record-type-descriptor* 'queue #f #f #f #f 2 3)) +(define struct:queue + (make-record-type-descriptor* + 'queue + #f + (|#%nongenerative-uid| queue) + #f + #f + 2 + 3)) (define effect_2520 (struct-type-install-properties! struct:queue @@ -998,7 +1006,15 @@ (|#%name| set-queue-start! (record-mutator struct:queue 0))) (define set-queue-end! (|#%name| set-queue-end! (record-mutator struct:queue 1))) -(define struct:node$2 (make-record-type-descriptor* 'node #f #f #f #f 3 6)) +(define struct:node$2 + (make-record-type-descriptor* + 'node + #f + (|#%nongenerative-uid| node) + #f + #f + 3 + 6)) (define effect_2809 (struct-type-install-properties! struct:node$2 @@ -1224,7 +1240,15 @@ (hash-ref (primitive-table '|#%engine|) 'continuation-current-primitive #f)) (define host:prop:unsafe-authentic-override (hash-ref (primitive-table '|#%engine|) 'prop:unsafe-authentic-override #f)) -(define struct:node$1 (make-record-type-descriptor* 'node #f #f #f #f 5 0)) +(define struct:node$1 + (make-record-type-descriptor* + 'node + #f + (|#%nongenerative-uid| node) + #f + #f + 5 + 0)) (define effect_2451 (struct-type-install-properties! struct:node$1 @@ -1954,7 +1978,14 @@ "(or/c evt? (procedure-arity-includes/c 1) exact-nonnegative-integer?)" v_0)))))))) (define struct:selector-prop-evt-value - (make-record-type-descriptor* 'selector-prop-evt-value #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'selector-prop-evt-value + #f + (|#%nongenerative-uid| selector-prop-evt-value) + #f + #f + 1 + 0)) (define effect_2090 (struct-type-install-properties! struct:selector-prop-evt-value @@ -1994,7 +2025,15 @@ (begin (let ((or-part_0 (primary-evt? v_0))) (if or-part_0 or-part_0 (secondary-evt? v_0))))))) -(define struct:poller (make-record-type-descriptor* 'poller #f #f #f #f 1 0)) +(define struct:poller + (make-record-type-descriptor* + 'poller + #f + (|#%nongenerative-uid| poller) + #f + #f + 1 + 0)) (define effect_2384 (struct-type-install-properties! struct:poller @@ -2016,7 +2055,14 @@ (define poller? (|#%name| poller? (record-predicate struct:poller))) (define poller-proc (|#%name| poller-proc (record-accessor struct:poller 0))) (define struct:poll-ctx - (make-record-type-descriptor* 'poll-ctx #f #f #f #f 4 8)) + (make-record-type-descriptor* + 'poll-ctx + #f + (|#%nongenerative-uid| poll-ctx) + #f + #f + 4 + 8)) (define effect_3060 (struct-type-install-properties! struct:poll-ctx @@ -2047,7 +2093,14 @@ (define set-poll-ctx-incomplete?! (|#%name| set-poll-ctx-incomplete?! (record-mutator struct:poll-ctx 3))) (define struct:never-evt - (make-record-type-descriptor* 'never-evt #f #f #f #f 0 0)) + (make-record-type-descriptor* + 'never-evt + #f + (|#%nongenerative-uid| never-evt) + #f + #f + 0 + 0)) (define effect_2812 (struct-type-install-properties! struct:never-evt @@ -2081,7 +2134,14 @@ (if (impersonator? v) (never-evt?_1958 (impersonator-val v)) #f)))))) (define the-never-evt (never-evt4.1)) (define struct:always-evt - (make-record-type-descriptor* 'always-evt #f #f #f #f 0 0)) + (make-record-type-descriptor* + 'always-evt + #f + (|#%nongenerative-uid| always-evt) + #f + #f + 0 + 0)) (define effect_2453 (struct-type-install-properties! struct:always-evt @@ -2115,7 +2175,14 @@ (if (impersonator? v) (always-evt?_2466 (impersonator-val v)) #f)))))) (define the-always-evt (always-evt5.1)) (define struct:async-evt - (make-record-type-descriptor* 'async-evt #f #f #f #f 0 0)) + (make-record-type-descriptor* + 'async-evt + #f + (|#%nongenerative-uid| async-evt) + #f + #f + 0 + 0)) (define effect_2629 (struct-type-install-properties! struct:async-evt @@ -2148,7 +2215,8 @@ ($value (if (impersonator? v) (async-evt?_2619 (impersonator-val v)) #f)))))) (define the-async-evt (async-evt6.1)) -(define struct:wrap-evt (make-record-type-descriptor* 'evt #f #f #f #f 2 0)) +(define struct:wrap-evt + (make-record-type-descriptor* 'evt #f (|#%nongenerative-uid| evt) #f #f 2 0)) (define effect_2319 (struct-type-install-properties! struct:wrap-evt @@ -2206,7 +2274,14 @@ 'evt 'wrap)))))) (define struct:handle-evt - (make-record-type-descriptor* 'handle-evt struct:wrap-evt #f #f #f 0 0)) + (make-record-type-descriptor* + 'handle-evt + struct:wrap-evt + (|#%nongenerative-uid| handle-evt) + #f + #f + 0 + 0)) (define effect_2329 (struct-type-install-properties! struct:handle-evt @@ -2238,7 +2313,14 @@ (handle-evt?$1_2894 (impersonator-val v)) #f)))))) (define struct:control-state-evt - (make-record-type-descriptor* 'control-state-evt #f #f #f #f 5 0)) + (make-record-type-descriptor* + 'control-state-evt + #f + (|#%nongenerative-uid| control-state-evt) + #f + #f + 5 + 0)) (define effect_2665 (struct-type-install-properties! struct:control-state-evt @@ -2363,7 +2445,7 @@ 'control-state-evt 'retry-proc)))))) (define struct:poll-guard-evt - (make-record-type-descriptor* 'evt #f #f #f #f 1 0)) + (make-record-type-descriptor* 'evt #f (|#%nongenerative-uid| evt) #f #f 1 0)) (define effect_2393 (struct-type-install-properties! struct:poll-guard-evt @@ -2413,7 +2495,8 @@ s 'evt 'proc)))))) -(define struct:choice-evt (make-record-type-descriptor* 'evt #f #f #f #f 1 0)) +(define struct:choice-evt + (make-record-type-descriptor* 'evt #f (|#%nongenerative-uid| evt) #f #f 1 0)) (define effect_2512 (struct-type-install-properties! struct:choice-evt @@ -2492,7 +2575,14 @@ (|#%app| (poller-proc v_1) evt_0 poll-ctx_0) (if (1/evt? v_1) (values #f v_1) (values #f the-never-evt)))))))) (define struct:delayed-poll - (make-record-type-descriptor* 'delayed-poll #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'delayed-poll + #f + (|#%nongenerative-uid| delayed-poll) + #f + #f + 1 + 0)) (define effect_3144 (struct-type-install-properties! struct:delayed-poll @@ -2516,7 +2606,14 @@ (define delayed-poll-resume (|#%name| delayed-poll-resume (record-accessor struct:delayed-poll 0))) (define struct:poller-evt - (make-record-type-descriptor* 'poller-evt #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'poller-evt + #f + (|#%nongenerative-uid| poller-evt) + #f + #f + 1 + 0)) (define effect_2558 (struct-type-install-properties! struct:poller-evt @@ -2565,7 +2662,14 @@ (prop:waiter waiter? waiter-ref) (make-struct-type-property 'waiter)) (define struct:waiter-methods - (make-record-type-descriptor* 'waiter-methods #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'waiter-methods + #f + (|#%nongenerative-uid| waiter-methods) + #f + #f + 2 + 0)) (define effect_3162 (struct-type-install-properties! struct:waiter-methods @@ -2602,7 +2706,14 @@ (lambda (w_0 interrupt-cb_0) (|#%app| (waiter-methods-suspend (waiter-ref w_0)) w_0 interrupt-cb_0))) (define struct:select-waiter - (make-record-type-descriptor* 'select-waiter #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'select-waiter + #f + (|#%nongenerative-uid| select-waiter) + #f + #f + 1 + 0)) (define effect_2458 (struct-type-install-properties! struct:select-waiter @@ -2658,7 +2769,14 @@ 'select-waiter 'proc)))))) (define struct:custodian - (make-record-type-descriptor* 'custodian #f #f #f #f 13 8188)) + (make-record-type-descriptor* + 'custodian + #f + (|#%nongenerative-uid| custodian) + #f + #f + 13 + 8188)) (define effect_2364 (struct-type-install-properties! struct:custodian @@ -2784,7 +2902,14 @@ (prop:place-message place-message? place-message-ref) (make-struct-type-property 'place-message)) (define struct:message-ized - (make-record-type-descriptor* 'message-ized #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'message-ized + #f + (|#%nongenerative-uid| message-ized) + #f + #f + 1 + 0)) (define effect_2650 (struct-type-install-properties! struct:message-ized @@ -3872,7 +3997,14 @@ v_1))))))))))))) (loop_0 v_0))))) (define struct:place - (make-record-type-descriptor* 'place #f #f #f #f 19 491440)) + (make-record-type-descriptor* + 'place + #f + (|#%nongenerative-uid| place) + #f + #f + 19 + 491440)) (define effect_3085 (struct-type-install-properties! struct:place @@ -4028,7 +4160,14 @@ (void))))) (void)))) (define struct:semaphore - (make-record-type-descriptor* 'semaphore struct:queue #f #f #f 1 1)) + (make-record-type-descriptor* + 'semaphore + struct:queue + (|#%nongenerative-uid| semaphore) + #f + #f + 1 + 1)) (define effect_3126 (struct-type-install-properties! struct:semaphore @@ -4061,7 +4200,14 @@ (|#%name| set-semaphore-count! (record-mutator struct:semaphore 0))) (define count-field-pos 2) (define struct:semaphore-peek-evt - (make-record-type-descriptor* 'semaphore-peek-evt #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'semaphore-peek-evt + #f + (|#%nongenerative-uid| semaphore-peek-evt) + #f + #f + 1 + 0)) (define effect_2127 (struct-type-install-properties! struct:semaphore-peek-evt @@ -4120,7 +4266,7 @@ (make-record-type-descriptor* 'semaphore-peek-select-waiter struct:select-waiter - #f + (|#%nongenerative-uid| semaphore-peek-select-waiter) #f #f 0 @@ -4350,7 +4496,15 @@ (set-semaphore-count! s_0 (sub1 c_0)) (internal-error "semaphore-wait/atomic: cannot decrement semaphore"))))) -(define struct:node (make-record-type-descriptor* 'node #f #f #f #f 2 3)) +(define struct:node + (make-record-type-descriptor* + 'node + #f + (|#%nongenerative-uid| node) + #f + #f + 2 + 3)) (define effect_2755 (struct-type-install-properties! struct:node @@ -4379,7 +4533,14 @@ (define child-node (lambda (child_0) child_0)) (define node-child (lambda (n_0) n_0)) (define struct:thread-group - (make-record-type-descriptor* 'thread-group struct:node #f #f #f 4 14)) + (make-record-type-descriptor* + 'thread-group + struct:node + (|#%nongenerative-uid| thread-group) + #f + #f + 4 + 14)) (define effect_2111 (struct-type-install-properties! struct:thread-group @@ -4544,7 +4705,14 @@ accum_1))))))))) (loop_0 (thread-group-chain-start parent_0) accum_0))))) (define struct:schedule-info - (make-record-type-descriptor* 'schedule-info #f #f #f #f 2 3)) + (make-record-type-descriptor* + 'schedule-info + #f + (|#%nongenerative-uid| schedule-info) + #f + #f + 2 + 3)) (define effect_2459 (struct-type-install-properties! struct:schedule-info @@ -4667,7 +4835,15 @@ (lambda (sched-info_0) (set-schedule-info-did-work?! sched-info_0 #t))) (define reference-sink (lambda (v_0) (ephemeron-value (make-ephemeron #f (void)) (void) v_0))) -(define struct:plumber (make-record-type-descriptor* 'plumber #f #f #f #f 2 0)) +(define struct:plumber + (make-record-type-descriptor* + 'plumber + #f + (|#%nongenerative-uid| plumber) + #f + #f + 2 + 0)) (define effect_2525 (struct-type-install-properties! struct:plumber @@ -4708,7 +4884,14 @@ v_0)) 'current-plumber)) (define struct:plumber-flush-handle - (make-record-type-descriptor* 'plumber-flush-handle #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'plumber-flush-handle + #f + (|#%nongenerative-uid| plumber-flush-handle) + #f + #f + 2 + 0)) (define effect_2524 (struct-type-install-properties! struct:plumber-flush-handle @@ -4933,7 +5116,14 @@ exit (case-lambda (() (begin (exit_0 #t))) ((v1_0) (exit_0 v1_0)))))) (define struct:custodian-box - (make-record-type-descriptor* 'custodian-box #f #f #f #f 2 1)) + (make-record-type-descriptor* + 'custodian-box + #f + (|#%nongenerative-uid| custodian-box) + #f + #f + 2 + 1)) (define effect_2780 (struct-type-install-properties! struct:custodian-box @@ -4966,7 +5156,14 @@ (define set-custodian-box-v! (|#%name| set-custodian-box-v! (record-mutator struct:custodian-box 0))) (define struct:willed-callback - (make-record-type-descriptor* 'willed-callback #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'willed-callback + #f + (|#%nongenerative-uid| willed-callback) + #f + #f + 2 + 0)) (define effect_2810 (struct-type-install-properties! struct:willed-callback @@ -4995,7 +5192,7 @@ (make-record-type-descriptor* 'at-exit-callback struct:willed-callback - #f + (|#%nongenerative-uid| at-exit-callback) #f #f 0 @@ -5021,7 +5218,14 @@ (define at-exit-callback? (|#%name| at-exit-callback? (record-predicate struct:at-exit-callback))) (define struct:custodian-reference - (make-record-type-descriptor* 'custodian-reference #f #f #f #f 1 1)) + (make-record-type-descriptor* + 'custodian-reference + #f + (|#%nongenerative-uid| custodian-reference) + #f + #f + 1 + 1)) (define effect_2616 (struct-type-install-properties! struct:custodian-reference @@ -6357,7 +6561,14 @@ (void))))))) (loop_0 mref_0)))) (define struct:thread - (make-record-type-descriptor* 'thread struct:node #f #f #f 24 16777082)) + (make-record-type-descriptor* + 'thread + struct:node + (|#%nongenerative-uid| thread) + #f + #f + 24 + 16777082)) (define effect_2521 (struct-type-install-properties! struct:thread @@ -6860,7 +7071,14 @@ (raise-argument-error 'thread-wait "thread?" t_0)) (1/semaphore-wait (|#%app| get-thread-dead-sema t_0))))))) (define struct:dead-evt - (make-record-type-descriptor* 'thread-dead-evt #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'thread-dead-evt + #f + (|#%nongenerative-uid| thread-dead-evt) + #f + #f + 1 + 0)) (define effect_2807 (struct-type-install-properties! struct:dead-evt @@ -7183,7 +7401,14 @@ (loop_0 app_0 (cons (car crs_0) accum_0)))))))))))) (loop_0 (thread-custodian-references t_0) null)))) (define struct:transitive-resume - (make-record-type-descriptor* 'transitive-resume #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'transitive-resume + #f + (|#%nongenerative-uid| transitive-resume) + #f + #f + 2 + 0)) (define effect_2586 (struct-type-install-properties! struct:transitive-resume @@ -7307,7 +7532,14 @@ (|#%app| interrupt-callback_0)) (void))))) (define struct:suspend-resume-evt - (make-record-type-descriptor* 'suspend-resume-evt #f #f #f #f 2 2)) + (make-record-type-descriptor* + 'suspend-resume-evt + #f + (|#%nongenerative-uid| suspend-resume-evt) + #f + #f + 2 + 2)) (define effect_2400 (struct-type-install-properties! struct:suspend-resume-evt @@ -7404,7 +7636,7 @@ (make-record-type-descriptor* 'thread-suspend-evt struct:suspend-resume-evt - #f + (|#%nongenerative-uid| thread-suspend-evt) #f #f 0 @@ -7441,7 +7673,7 @@ (make-record-type-descriptor* 'thread-resume-evt struct:suspend-resume-evt - #f + (|#%nongenerative-uid| thread-resume-evt) #f #f 0 @@ -7874,7 +8106,14 @@ lst_0)) (end-atomic))))))) (define struct:thread-receiver-evt - (make-record-type-descriptor* 'thread-receive-evt #f #f #f #f 0 0)) + (make-record-type-descriptor* + 'thread-receive-evt + #f + (|#%nongenerative-uid| thread-receive-evt) + #f + #f + 0 + 0)) (define effect_2592 (struct-type-install-properties! struct:thread-receiver-evt @@ -7974,7 +8213,15 @@ #f)))) (begin-unsafe (set! thread-engine-for-roots thread-engine_0)))) (void))) -(define struct:channel (make-record-type-descriptor* 'channel #f #f #f #f 2 0)) +(define struct:channel + (make-record-type-descriptor* + 'channel + #f + (|#%nongenerative-uid| channel) + #f + #f + 2 + 0)) (define effect_1795 (struct-type-install-properties! struct:channel @@ -8039,7 +8286,14 @@ 'channel 'put-queue)))))) (define struct:channel-put-evt* - (make-record-type-descriptor* 'channel-put-evt #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'channel-put-evt + #f + (|#%nongenerative-uid| channel-put-evt) + #f + #f + 2 + 0)) (define effect_2694 (struct-type-install-properties! struct:channel-put-evt* @@ -8116,7 +8370,7 @@ (make-record-type-descriptor* 'channel-select-waiter struct:select-waiter - #f + (|#%nongenerative-uid| channel-select-waiter) #f #f 1 @@ -8627,7 +8881,14 @@ (loop_0 (cddr args_1)))))))))) (loop_0 args_0)))) (define struct:syncing - (make-record-type-descriptor* 'syncing #f #f #f #f 5 31)) + (make-record-type-descriptor* + 'syncing + #f + (|#%nongenerative-uid| syncing) + #f + #f + 5 + 31)) (define effect_2377 (struct-type-install-properties! struct:syncing @@ -8825,7 +9086,15 @@ v 'syncing 'need-retry?)))))) -(define struct:syncer (make-record-type-descriptor* 'syncer #f #f #f #f 9 511)) +(define struct:syncer + (make-record-type-descriptor* + 'syncer + #f + (|#%nongenerative-uid| syncer) + #f + #f + 9 + 511)) (define effect_2549 (struct-type-install-properties! struct:syncer @@ -10348,7 +10617,7 @@ (retry_0)) (end-atomic)))))) (define struct:replacing-evt - (make-record-type-descriptor* 'evt #f #f #f #f 1 0)) + (make-record-type-descriptor* 'evt #f (|#%nongenerative-uid| evt) #f #f 1 0)) (define effect_2634 (struct-type-install-properties! struct:replacing-evt @@ -10400,7 +10669,7 @@ 'evt 'guard)))))) (define struct:nested-sync-evt - (make-record-type-descriptor* 'evt #f #f #f #f 3 0)) + (make-record-type-descriptor* 'evt #f (|#%nongenerative-uid| evt) #f #f 3 0)) (define effect_2232 (struct-type-install-properties! struct:nested-sync-evt @@ -10617,7 +10886,14 @@ (unsafe-make-place-local (wrap-evt7.1 (unsafe-place-local-ref cell.1$5) void))) (define struct:system-idle-evt - (make-record-type-descriptor* 'system-idle-evt #f #f #f #f 0 0)) + (make-record-type-descriptor* + 'system-idle-evt + #f + (|#%nongenerative-uid| system-idle-evt) + #f + #f + 0 + 0)) (define effect_2282 (struct-type-install-properties! struct:system-idle-evt @@ -10671,7 +10947,14 @@ (define TICKS 100000) (define set-schedule-quantum! (lambda (n_0) (set! TICKS n_0))) (define struct:future* - (make-record-type-descriptor* 'future #f #f #f #f 10 1016)) + (make-record-type-descriptor* + 'future + #f + (|#%nongenerative-uid| future) + #f + #f + 10 + 1016)) (define effect_2884 (struct-type-install-properties! struct:future* @@ -11059,7 +11342,14 @@ (define 1/futures-enabled? (|#%name| futures-enabled? (lambda () (begin (|#%app| threaded?))))) (define struct:future-evt - (make-record-type-descriptor* 'future-evt #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'future-evt + #f + (|#%nongenerative-uid| future-evt) + #f + #f + 1 + 0)) (define effect_2445 (struct-type-install-properties! struct:future-evt @@ -11495,7 +11785,14 @@ (define pthread-count 1) (define set-processor-count! (lambda (n_0) (set! pthread-count n_0))) (define struct:scheduler - (make-record-type-descriptor* 'scheduler #f #f #f #f 6 7)) + (make-record-type-descriptor* + 'scheduler + #f + (|#%nongenerative-uid| scheduler) + #f + #f + 6 + 7)) (define effect_2609 (struct-type-install-properties! struct:scheduler @@ -11533,7 +11830,15 @@ (|#%name| set-scheduler-futures-head! (record-mutator struct:scheduler 1))) (define set-scheduler-futures-tail! (|#%name| set-scheduler-futures-tail! (record-mutator struct:scheduler 2))) -(define struct:worker (make-record-type-descriptor* 'worker #f #f #f #f 5 26)) +(define struct:worker + (make-record-type-descriptor* + 'worker + #f + (|#%nongenerative-uid| worker) + #f + #f + 5 + 26)) (define effect_2322 (struct-type-install-properties! struct:worker @@ -12371,7 +12676,14 @@ (define set-check-place-activity! (lambda (proc_0) (set! check-place-activity proc_0))) (define struct:alarm-evt - (make-record-type-descriptor* 'alarm-evt #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'alarm-evt + #f + (|#%nongenerative-uid| alarm-evt) + #f + #f + 1 + 0)) (define effect_2291 (struct-type-install-properties! struct:alarm-evt @@ -12926,7 +13238,14 @@ ((s_0 proc_0 try-fail12_0 . args_0) (call-with-semaphore/enable-break_0 s_0 proc_0 try-fail12_0 args_0)))))) (define struct:will-executor - (make-record-type-descriptor* 'will-executor #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'will-executor + #f + (|#%nongenerative-uid| will-executor) + #f + #f + 2 + 0)) (define effect_3021 (struct-type-install-properties! struct:will-executor @@ -13949,7 +14268,14 @@ (loop_0))))))))))) (loop_0))))) (define struct:place-done-evt - (make-record-type-descriptor* 'place-dead-evt #f #f #f #f 2 0)) + (make-record-type-descriptor* + 'place-dead-evt + #f + (|#%nongenerative-uid| place-dead-evt) + #f + #f + 2 + 0)) (define effect_2146 (struct-type-install-properties! struct:place-done-evt @@ -14048,7 +14374,14 @@ (raise-argument-error 'place-dead-evt "place?" p_0)) (place-done-evt3.1 p_0 #f)))))) (define struct:message-queue - (make-record-type-descriptor* 'message-queue #f #f #f #f 6 22)) + (make-record-type-descriptor* + 'message-queue + #f + (|#%nongenerative-uid| message-queue) + #f + #f + 6 + 22)) (define effect_2821 (struct-type-install-properties! struct:message-queue @@ -14196,7 +14529,14 @@ (|#%app| host:mutex-release lock_0) (|#%app| success-k_0 (car q_0)))))))))))) (define struct:pchannel - (make-record-type-descriptor* 'place-channel #f #f #f #f 6 0)) + (make-record-type-descriptor* + 'place-channel + #f + (|#%nongenerative-uid| place-channel) + #f + #f + 6 + 0)) (define effect_2712 (struct-type-install-properties! struct:pchannel @@ -14478,7 +14818,14 @@ (lambda () (ensure-wakeup-handle!)))) (void))) (define struct:fsemaphore - (make-record-type-descriptor* 'fsemaphore #f #f #f #f 4 13)) + (make-record-type-descriptor* + 'fsemaphore + #f + (|#%nongenerative-uid| fsemaphore) + #f + #f + 4 + 13)) (define effect_2870 (struct-type-install-properties! struct:fsemaphore @@ -14514,7 +14861,14 @@ (define set-fsemaphore-dep-box! (|#%name| set-fsemaphore-dep-box! (record-mutator struct:fsemaphore 3))) (define struct:fsemaphore-box-evt - (make-record-type-descriptor* 'fsemaphore-box-evt #f #f #f #f 1 0)) + (make-record-type-descriptor* + 'fsemaphore-box-evt + #f + (|#%nongenerative-uid| fsemaphore-box-evt) + #f + #f + 1 + 0)) (define effect_2902 (struct-type-install-properties! struct:fsemaphore-box-evt @@ -14709,7 +15063,14 @@ (lambda () (begin (start-atomic) (|#%app| proc_0)))) (void)))))) (define struct:os-semaphore - (make-record-type-descriptor* 'os-semaphore #f #f #f #f 3 1)) + (make-record-type-descriptor* + 'os-semaphore + #f + (|#%nongenerative-uid| os-semaphore) + #f + #f + 3 + 1)) (define effect_3038 (struct-type-install-properties! struct:os-semaphore diff --git a/racket/src/expander/compile/built-in-symbol.rkt b/racket/src/expander/compile/built-in-symbol.rkt index 0f73d9b4b0..13d3466e41 100644 --- a/racket/src/expander/compile/built-in-symbol.rkt +++ b/racket/src/expander/compile/built-in-symbol.rkt @@ -90,6 +90,7 @@ #%struct-predicate #%struct-field-accessor #%struct-field-mutator + #%nongenerative-uid unsafe-struct? unsafe-struct raise-binding-result-arity-error diff --git a/racket/src/schemify/schemify.rkt b/racket/src/schemify/schemify.rkt index b9276bd00a..772e82baa5 100644 --- a/racket/src/schemify/schemify.rkt +++ b/racket/src/schemify/schemify.rkt @@ -517,7 +517,7 @@ (define new-seq (struct-convert v prim-knowns knowns imports exports mutated (lambda (v knowns) (schemify/knowns knowns inline-fuel 'fresh v)) - target no-prompt?)) + target no-prompt? #t)) (or new-seq (match v [`(,_ ,ids ,rhs) diff --git a/racket/src/schemify/struct-convert.rkt b/racket/src/schemify/struct-convert.rkt index 81cc785c8d..465477252a 100644 --- a/racket/src/schemify/struct-convert.rkt +++ b/racket/src/schemify/struct-convert.rkt @@ -12,7 +12,7 @@ struct-convert-local) (define (struct-convert form prim-knowns knowns imports exports mutated - schemify target no-prompt?) + schemify target no-prompt? top?) (match form [`(define-values (,struct:s ,make-s ,s? ,acc/muts ...) (let-values (((,struct: ,make ,?1 ,-ref ,-set!) ,mk)) @@ -64,7 +64,10 @@ (define ,struct:s (make-record-type-descriptor* ',(struct-type-info-name sti) ,(schemify (struct-type-info-parent sti) knowns) ,(if (not (struct-type-info-prefab-immutables sti)) - #f + (if (and top? + (aim? target 'system)) + `(#%nongenerative-uid ,(struct-type-info-name sti)) + #f) `(structure-type-lookup-prefab-uid ',(struct-type-info-name sti) ,(schemify (struct-type-info-parent sti) knowns) @@ -199,7 +202,7 @@ (define new-seq (struct-convert defn prim-knowns knowns imports #f mutated - schemify target #t)) + schemify target #t #f)) (and new-seq (match new-seq [`(begin . ,new-seq)