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

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

Closes racket/pconvert#9
This commit is contained in:
Matthew Flatt 2021-01-03 09:22:25 -07:00
parent ecd2234d56
commit d96273bc0a
17 changed files with 796 additions and 768 deletions

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

File diff suppressed because it is too large Load Diff

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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