From 561fe7e2e79360d6e764d5a098b9e5e8ebe647d4 Mon Sep 17 00:00:00 2001 From: Gustavo Massaccesi Date: Sat, 1 Dec 2018 23:42:47 -0300 Subject: [PATCH] cs: more pure primitives --- racket/src/cs/primitive/kernel.ss | 213 +++++++++++++++--------------- 1 file changed, 104 insertions(+), 109 deletions(-) diff --git a/racket/src/cs/primitive/kernel.ss b/racket/src/cs/primitive/kernel.ss index e82d4a7729..1f744a742a 100644 --- a/racket/src/cs/primitive/kernel.ss +++ b/racket/src/cs/primitive/kernel.ss @@ -33,7 +33,7 @@ [assq (known-procedure 4)] [assv (known-procedure 4)] [atan (known-procedure 6)] - [banner (known-procedure 1)] + [banner (known-procedure/pure 1)] [bitwise-and (known-procedure -1)] [bitwise-bit-field (known-procedure 8)] [bitwise-bit-set? (known-procedure 4)] @@ -44,17 +44,17 @@ [bound-identifier=? (known-procedure 28)] [box (known-procedure/pure 2)] [box-cas! (known-procedure 8)] - [box-immutable (known-procedure 2)] + [box-immutable (known-procedure/pure 2)] [box? (known-procedure/pure 2)] [break-enabled (known-procedure 3)] [break-thread (known-procedure 6)] [build-path (known-procedure -2)] [build-path/convention-type (known-procedure -4)] [byte-pregexp (known-procedure 6)] - [byte-pregexp? (known-procedure 2)] + [byte-pregexp? (known-procedure/pure 2)] [byte-ready? (known-procedure 3)] [byte-regexp (known-procedure 6)] - [byte-regexp? (known-procedure 2)] + [byte-regexp? (known-procedure/pure 2)] [byte? (known-procedure/pure 2)] [bytes (known-procedure -1)] [bytes->immutable-bytes (known-procedure 2)] @@ -68,7 +68,7 @@ [bytes-close-converter (known-procedure 2)] [bytes-convert (known-procedure 254)] [bytes-convert-end (known-procedure 15)] - [bytes-converter? (known-procedure 2)] + [bytes-converter? (known-procedure/pure 2)] [bytes-copy (known-procedure 2)] [bytes-copy! (known-procedure 56)] [bytes-fill! (known-procedure 4)] @@ -89,7 +89,6 @@ [caadar (known-procedure 2)] [caaddr (known-procedure 2)] [caadr (known-procedure 2)] - [caadr (known-procedure 2)] [caar (known-procedure 2)] [cadaar (known-procedure 2)] [cadadr (known-procedure 2)] @@ -128,8 +127,8 @@ [cdr (known-procedure 2)] [ceiling (known-procedure 2)] [channel-put-evt (known-procedure 4)] - [channel-put-evt? (known-procedure 2)] - [channel? (known-procedure 2)] + [channel-put-evt? (known-procedure/pure 2)] + [channel? (known-procedure/pure 2)] [chaperone-box (known-procedure -8)] [chaperone-channel (known-procedure -8)] [chaperone-continuation-mark-key (known-procedure -8)] @@ -188,16 +187,16 @@ [complete-path? (known-procedure 2)] [complex? (known-procedure/pure 2)] [cons (known-procedure/pure 4)] - [continuation-mark-key? (known-procedure 2)] + [continuation-mark-key? (known-procedure/pure 2)] [continuation-mark-set->context (known-procedure 2)] [continuation-mark-set->list (known-procedure 12)] [continuation-mark-set->list* (known-procedure 28)] [continuation-mark-set-first (known-procedure 28)] - [continuation-mark-set? (known-procedure 2)] + [continuation-mark-set? (known-procedure/pure 2)] [continuation-marks (known-procedure 6)] [continuation-prompt-available? (known-procedure 6)] - [continuation-prompt-tag? (known-procedure 2)] - [continuation? (known-procedure 2)] + [continuation-prompt-tag? (known-procedure/pure 2)] + [continuation? (known-procedure/pure 2)] [copy-file (known-procedure 12)] [cos (known-procedure 2)] [current-code-inspector (known-constant)] @@ -239,23 +238,23 @@ [current-thread-initial-stack-size (known-constant)] [current-write-relative-directory (known-constant)] [custodian-box-value (known-procedure 2)] - [custodian-box? (known-procedure 2)] + [custodian-box? (known-procedure/pure 2)] [custodian-limit-memory (known-procedure 12)] [custodian-managed-list (known-procedure 4)] [custodian-memory-accounting-available? (known-procedure 1)] [custodian-require-memory (known-procedure 8)] [custodian-shut-down? (known-procedure 2)] [custodian-shutdown-all (known-procedure 2)] - [custodian? (known-procedure 2)] + [custodian? (known-procedure/pure 2)] [custom-print-quotable-accessor (known-procedure 2)] [custom-print-quotable? (known-procedure 2)] [custom-write-accessor (known-procedure 2)] - [custom-write? (known-procedure 2)] + [custom-write? (known-procedure/pure 2)] [date (known-constant)] [date* (known-constant)] [date*-nanosecond (known-procedure 2)] [date*-time-zone-name (known-procedure 2)] - [date*? (known-procedure 2)] + [date*? (known-procedure/pure 2)] [date-day (known-procedure 2)] [date-dst? (known-procedure 2)] [date-hour (known-procedure 2)] @@ -276,14 +275,14 @@ [directory-exists? (known-procedure 2)] [directory-list (known-procedure 3)] [display (known-procedure 6)] - [double-flonum? (known-procedure 2)] + [double-flonum? (known-procedure/pure 2)] [dump-memory-stats (known-procedure -1)] [dynamic-wind (known-procedure 8)] [environment-variables-copy (known-procedure 2)] [environment-variables-names (known-procedure 2)] [environment-variables-ref (known-procedure 4)] [environment-variables-set! (known-procedure 24)] - [environment-variables? (known-procedure 2)] + [environment-variables? (known-procedure/pure 2)] [eof (known-constant)] [eof-object? (known-procedure/pure 2)] [ephemeron-value (known-procedure 6)] @@ -306,10 +305,10 @@ [error-value->string-handler (known-constant)] [eval-jit-enabled (known-constant)] [even? (known-procedure 2)] - [evt? (known-procedure 2)] + [evt? (known-procedure/pure 2)] [exact->inexact (known-procedure 2)] [exact-integer? (known-procedure/pure 2)] - [exact-nonnegative-integer? (known-procedure 2)] + [exact-nonnegative-integer? (known-procedure/pure 2)] [exact-positive-integer? (known-procedure/pure 2)] [exact? (known-procedure 2)] [executable-yield-handler (known-constant)] @@ -317,62 +316,59 @@ [exit-handler (known-constant)] [exn (known-constant)] [exn-continuation-marks (known-procedure 2)] - [exn-continuation-marks (known-procedure 2)] - [exn-message (known-procedure 2)] [exn-message (known-procedure 2)] [exn:break (known-constant)] [exn:break-continuation (known-procedure 2)] [exn:break:hang-up (known-constant)] - [exn:break:hang-up? (known-procedure 2)] + [exn:break:hang-up? (known-procedure/pure 2)] [exn:break:terminate (known-constant)] - [exn:break:terminate? (known-procedure 2)] - [exn:break? (known-procedure 2)] + [exn:break:terminate? (known-procedure/pure 2)] + [exn:break? (known-procedure/pure 2)] [exn:fail (known-constant)] [exn:fail:contract (known-constant)] [exn:fail:contract:arity (known-constant)] - [exn:fail:contract:arity? (known-procedure 2)] + [exn:fail:contract:arity? (known-procedure/pure 2)] [exn:fail:contract:continuation (known-constant)] - [exn:fail:contract:continuation? (known-procedure 2)] + [exn:fail:contract:continuation? (known-procedure/pure 2)] [exn:fail:contract:divide-by-zero (known-constant)] - [exn:fail:contract:divide-by-zero? (known-procedure 2)] + [exn:fail:contract:divide-by-zero? (known-procedure/pure 2)] [exn:fail:contract:non-fixnum-result (known-constant)] - [exn:fail:contract:non-fixnum-result? (known-procedure 2)] + [exn:fail:contract:non-fixnum-result? (known-procedure/pure 2)] [exn:fail:contract:variable (known-constant)] [exn:fail:contract:variable-id (known-procedure 2)] - [exn:fail:contract:variable? (known-procedure 2)] - [exn:fail:contract? (known-procedure 2)] + [exn:fail:contract:variable? (known-procedure/pure 2)] + [exn:fail:contract? (known-procedure/pure 2)] [exn:fail:filesystem (known-constant)] [exn:fail:filesystem:errno (known-constant)] [exn:fail:filesystem:errno-errno (known-procedure 2)] - [exn:fail:filesystem:errno? (known-procedure 2)] + [exn:fail:filesystem:errno? (known-procedure/pure 2)] [exn:fail:filesystem:exists (known-constant)] [exn:fail:filesystem:exists? (known-procedure 2)] [exn:fail:filesystem:version (known-constant)] - [exn:fail:filesystem:version? (known-procedure 2)] + [exn:fail:filesystem:version? (known-procedure/pure 2)] [exn:fail:filesystem? (known-procedure 2)] [exn:fail:network (known-constant)] [exn:fail:network:errno (known-constant)] [exn:fail:network:errno-errno (known-procedure 2)] - [exn:fail:network:errno? (known-procedure 2)] + [exn:fail:network:errno? (known-procedure/pure 2)] [exn:fail:network? (known-procedure 2)] [exn:fail:out-of-memory (known-constant)] - [exn:fail:out-of-memory? (known-procedure 2)] + [exn:fail:out-of-memory? (known-procedure/pure 2)] [exn:fail:read (known-constant)] [exn:fail:read-srclocs (known-procedure 2)] [exn:fail:read:eof (known-constant)] - [exn:fail:read:eof? (known-procedure 2)] + [exn:fail:read:eof? (known-procedure/pure 2)] [exn:fail:read:non-char (known-constant)] - [exn:fail:read:non-char? (known-procedure 2)] + [exn:fail:read:non-char? (known-procedure/pure 2)] [exn:fail:read? (known-procedure 2)] [exn:fail:unsupported (known-constant)] - [exn:fail:unsupported? (known-procedure 2)] + [exn:fail:unsupported? (known-procedure/pure 2)] [exn:fail:user (known-constant)] - [exn:fail:user? (known-procedure 2)] - [exn:fail? (known-procedure 2)] + [exn:fail:user? (known-procedure/pure 2)] + [exn:fail? (known-procedure/pure 2)] [exn:srclocs-accessor (known-procedure 2)] - [exn:srclocs? (known-procedure 2)] - [exn? (known-procedure 2)] - [exn? (known-procedure 2)] + [exn:srclocs? (known-procedure/pure 2)] + [exn? (known-procedure/pure 2)] [exp (known-procedure 2)] [expand-user-path (known-procedure 2)] [explode-path (known-procedure 2)] @@ -389,7 +385,7 @@ [file-truncate (known-procedure 4)] [filesystem-change-evt (known-procedure 6)] [filesystem-change-evt-cancel (known-procedure 2)] - [filesystem-change-evt? (known-procedure 2)] + [filesystem-change-evt? (known-procedure/pure 2)] [filesystem-root-list (known-procedure 1)] [find-system-path (known-procedure 2)] [fixnum? (known-procedure/pure 2)] @@ -406,7 +402,7 @@ [get-output-string (known-procedure 2)] [global-port-print-handler (known-constant)] [handle-evt (known-procedure 4)] - [handle-evt? (known-procedure 2)] + [handle-evt? (known-procedure/pure 2)] [hash (known-procedure -1)] [hash-clear (known-procedure 2)] [hash-clear! (known-procedure 2)] @@ -424,7 +420,7 @@ [hash-iterate-value (known-procedure 4)] [hash-keys-subset? (known-procedure 4)] [hash-map (known-procedure 12)] - [hash-placeholder? (known-procedure 2)] + [hash-placeholder? (known-procedure/pure 2)] [hash-ref (known-procedure 12)] [hash-remove (known-procedure 4)] [hash-remove! (known-procedure 4)] @@ -450,25 +446,25 @@ [impersonator-of? (known-procedure 4)] [impersonator-prop:application-mark (known-constant)] [impersonator-property-accessor-procedure? (known-procedure 2)] - [impersonator-property? (known-procedure 2)] + [impersonator-property? (known-procedure/pure 2)] [impersonator? (known-procedure/pure 2)] [inexact->exact (known-procedure 2)] - [inexact-real? (known-procedure 2)] + [inexact-real? (known-procedure/pure 2)] [inexact? (known-procedure 2)] - [input-port? (known-procedure 2)] + [input-port? (known-procedure/pure 2)] [inspector-superior? (known-procedure 4)] - [inspector? (known-procedure 2)] + [inspector? (known-procedure/pure 2)] [integer->char (known-procedure 2)] [integer->integer-bytes (known-procedure 120)] [integer-bytes->integer (known-procedure 60)] [integer-length (known-procedure 2)] [integer-sqrt (known-procedure 2)] [integer-sqrt/remainder (known-procedure 2)] - [integer? (known-procedure 2)] - [interned-char? (known-procedure 2)] + [integer? (known-procedure/pure 2)] + [interned-char? (known-procedure/pure 2)] [keyword->string (known-procedure 2)] [keywordbytes (known-procedure 2)] [list->string (known-procedure 2)] [list->vector (known-procedure 2)] - [list-pair? (known-procedure 2)] + [list-pair? (known-procedure/pure 2)] [list-ref (known-procedure 4)] [list-tail (known-procedure 4)] - [list? (known-procedure 2)] + [list? (known-procedure/pure 2)] [load-on-demand-enabled (known-constant)] [locale-string-encoding (known-procedure 1)] [log (known-procedure 6)] @@ -490,12 +486,12 @@ [log-level? (known-procedure 12)] [log-max-level (known-procedure 6)] [log-message (known-procedure 112)] - [log-receiver? (known-procedure 2)] + [log-receiver? (known-procedure/pure 2)] [logger-name (known-procedure 2)] - [logger? (known-procedure 2)] + [logger? (known-procedure/pure 2)] [magnitude (known-procedure 2)] [make-bytes (known-procedure 6)] - [make-channel (known-procedure 1)] + [make-channel (known-procedure/pure 1)] [make-continuation-mark-key (known-procedure 3)] [make-continuation-prompt-tag (known-procedure 3)] [make-custodian (known-procedure 3)] @@ -505,7 +501,7 @@ [make-derived-parameter (known-procedure 8)] [make-directory (known-procedure 2)] [make-environment-variables (known-procedure -1)] - [make-ephemeron (known-procedure 4)] + [make-ephemeron (known-procedure/pure 4)] [make-file-or-directory-link (known-procedure 4)] [make-hash (known-procedure 3)] [make-hash-placeholder (known-procedure 2)] @@ -519,18 +515,18 @@ [make-impersonator-property (known-procedure 2)] [make-input-port (known-procedure 2032)] [make-inspector (known-procedure 3)] - [make-known-char-range-list (known-procedure 1)] + [make-known-char-range-list (known-procedure/pure 1)] [make-log-receiver (known-procedure -4)] [make-logger (known-procedure -1)] [make-output-port (known-procedure 4080)] [make-parameter (known-procedure 6)] [make-phantom-bytes (known-procedure 2)] [make-pipe (known-procedure 15)] - [make-placeholder (known-procedure 2)] - [make-plumber (known-procedure 1)] + [make-placeholder (known-procedure/pure 2)] + [make-plumber (known-procedure/pure 1)] [make-polar (known-procedure 4)] [make-prefab-struct (known-procedure -2)] - [make-pseudo-random-generator (known-procedure 1)] + [make-pseudo-random-generator (known-procedure 1)] ; not pure, depends on (current-milliseconds) [make-reader-graph (known-procedure 2)] [make-rectangular (known-procedure 4)] [make-security-guard (known-procedure 24)] @@ -545,11 +541,11 @@ [make-thread-cell (known-procedure/pure 6)] [make-thread-group (known-procedure 3)] [make-vector (known-procedure 6)] - [make-weak-box (known-procedure 2)] + [make-weak-box (known-procedure/pure 2)] [make-weak-hash (known-procedure 3)] [make-weak-hasheq (known-procedure 3)] [make-weak-hasheqv (known-procedure 3)] - [make-will-executor (known-procedure 1)] + [make-will-executor (known-procedure/pure 1)] [map (known-procedure -4)] [max (known-procedure -2)] [mcar (known-procedure 2)] @@ -562,7 +558,7 @@ [negative? (known-procedure 2)] [never-evt (known-constant)] [newline (known-procedure 3)] - [not (known-procedure 2)] + [not (known-procedure/pure 2)] [null (known-literal '(quote ()))] [null? (known-procedure/pure 2)] [number->string (known-procedure 6)] @@ -578,11 +574,11 @@ [open-output-file (known-procedure 14)] [open-output-string (known-procedure 3)] [ormap (known-procedure -4)] - [output-port? (known-procedure 2)] + [output-port? (known-procedure/pure 2)] [pair? (known-procedure/pure 2)] [parameter-procedure=? (known-procedure 4)] - [parameter? (known-procedure 2)] - [parameterization? (known-procedure 2)] + [parameter? (known-procedure/pure 2)] + [parameterization? (known-procedure/pure 2)] [path->bytes (known-procedure 2)] [path->complete-path (known-procedure 6)] [path->directory-path (known-procedure 2)] @@ -590,9 +586,9 @@ [path-convention-type (known-procedure 2)] [path-element->bytes (known-procedure 2)] [path-element->string (known-procedure 2)] - [path-for-some-system? (known-procedure 2)] + [path-for-some-system? (known-procedure/pure 2)] [pathstruct-type (known-procedure 4)] - [prefab-key? (known-procedure 2)] + [prefab-key? (known-procedure 2)] ; not pure, the argument may have a mutable vector [prefab-struct-key (known-procedure 2)] [pregexp (known-procedure 6)] - [pregexp? (known-procedure 2)] - [primitive-closure? (known-procedure 2)] + [pregexp? (known-procedure/pure 2)] + [primitive-closure? (known-procedure/pure 2)] [primitive-result-arity (known-procedure 2)] - [primitive? (known-procedure 2)] + [primitive? (known-procedure/pure 2)] [print (known-procedure 14)] [print-as-expression (known-constant)] [print-boolean-long-form (known-constant)] @@ -660,10 +656,10 @@ [procedure-arity (known-procedure 2)] [procedure-arity-mask (known-procedure 2)] [procedure-arity-includes? (known-procedure 12)] - [procedure-arity? (known-procedure 2)] + [procedure-arity? (known-procedure/pure 2)] [procedure-closure-contents-eq? (known-procedure 4)] [procedure-extract-target (known-procedure 2)] - [procedure-impersonator*? (known-procedure 2)] + [procedure-impersonator*? (known-procedure/pure 2)] [procedure-reduce-arity (known-procedure 12)] [procedure-reduce-arity-mask (known-procedure 12)] [procedure-rename (known-procedure 4)] @@ -689,7 +685,7 @@ [prop:procedure (known-struct-type-property/immediate-guard)] [pseudo-random-generator->vector (known-procedure 2)] [pseudo-random-generator-vector? (known-procedure 2)] - [pseudo-random-generator? (known-procedure 2)] + [pseudo-random-generator? (known-procedure/pure 2)] [quotient (known-procedure 4)] [quotient/remainder (known-procedure 4)] [raise (known-procedure 6)] @@ -705,7 +701,7 @@ [raise-user-error (known-procedure -2)] [random (known-procedure 7)] [random-seed (known-procedure 2)] - [rational? (known-procedure 2)] + [rational? (known-procedure/pure 2)] [read-accept-bar-quote (known-constant)] [read-byte (known-procedure 3)] [read-byte-or-special (known-procedure 15)] @@ -726,7 +722,7 @@ [real->floating-point-bytes (known-procedure 60)] [real->single-flonum (known-procedure 2)] [real-part (known-procedure 2)] - [real? (known-procedure 2)] + [real? (known-procedure/pure 2)] [regexp (known-procedure 6)] [regexp-match (known-procedure 124)] [regexp-match-peek (known-procedure 124)] @@ -742,7 +738,7 @@ [regexp-max-lookbehind (known-procedure 2)] [regexp-replace (known-procedure 24)] [regexp-replace* (known-procedure 24)] - [regexp? (known-procedure 2)] + [regexp? (known-procedure/pure 2)] [relative-path? (known-procedure 2)] [remainder (known-procedure 4)] [rename-file-or-directory (known-procedure 12)] @@ -751,14 +747,14 @@ [reverse (known-procedure 2)] [round (known-procedure 2)] [seconds->date (known-procedure 6)] - [security-guard? (known-procedure 2)] + [security-guard? (known-procedure/pure 2)] [semaphore-peek-evt (known-procedure 2)] - [semaphore-peek-evt? (known-procedure 2)] + [semaphore-peek-evt? (known-procedure/pure 2)] [semaphore-post (known-procedure 2)] [semaphore-try-wait? (known-procedure 2)] [semaphore-wait (known-procedure 2)] [semaphore-wait/enable-break (known-procedure 2)] - [semaphore? (known-procedure 2)] + [semaphore? (known-procedure/pure 2)] [set-box! (known-procedure 4)] [set-box*! (known-procedure 4)] [set-mcar! (known-procedure 4)] @@ -772,7 +768,7 @@ [shell-execute (known-procedure 32)] [simplify-path (known-procedure 6)] [sin (known-procedure 2)] - [single-flonum? (known-procedure 2)] + [single-flonum? (known-procedure/pure 2)] [sleep (known-procedure 3)] [split-path (known-procedure 2)] [sqrt (known-procedure 2)] @@ -783,7 +779,7 @@ [srcloc-position (known-procedure 2)] [srcloc-source (known-procedure 2)] [srcloc-span (known-procedure 2)] - [srcloc? (known-procedure 2)] + [srcloc? (known-procedure/pure 2)] [string (known-procedure -1)] [string->bytes/latin-1 (known-procedure 30)] [string->bytes/locale (known-procedure 30)] @@ -834,11 +830,11 @@ [string>? (known-procedure -2)] [string? (known-procedure/pure 2)] [struct->vector (known-procedure 6)] - [struct-accessor-procedure? (known-procedure 2)] - [struct-constructor-procedure? (known-procedure 2)] + [struct-accessor-procedure? (known-procedure/pure 2)] + [struct-constructor-procedure? (known-procedure/pure 2)] [struct-info (known-procedure 2)] - [struct-mutator-procedure? (known-procedure 2)] - [struct-predicate-procedure? (known-procedure 2)] + [struct-mutator-procedure? (known-procedure/pure 2)] + [struct-predicate-procedure? (known-procedure/pure 2)] [struct-type-info (known-procedure 2)] [struct-type-make-constructor (known-procedure 6)] [struct-type-make-predicate (known-procedure 2)] @@ -872,7 +868,7 @@ [struct:exn:fail:unsupported (known-constant)] [struct:exn:fail:user (known-constant)] [struct:srcloc (known-constant)] - [struct? (known-procedure 2)] + [struct? (known-procedure 2)] ; not pure, depends on (current-inspector) [sub1 (known-procedure 2)] [subbytes (known-procedure 12)] [subprocess (known-procedure -16)] @@ -901,26 +897,25 @@ [syntax-property-symbol-keys (known-procedure 2)] [syntax-source (known-procedure 2)] [syntax-span (known-procedure 2)] - [syntax? (known-procedure 2)] - [system-big-endian? (known-procedure 1)] - [system-idle-evt (known-procedure 1)] + [syntax? (known-procedure/pure 2)] + [system-big-endian? (known-procedure/pure 1)] + [system-idle-evt (known-procedure/pure 1)] [system-language+country (known-procedure 1)] [system-library-subpath (known-procedure 3)] - [system-path-convention-type (known-procedure 1)] + [system-path-convention-type (known-procedure/pure 1)] [system-type (known-procedure 3)] [tan (known-procedure 2)] [terminal-port? (known-procedure 2)] [thread (known-procedure 2)] [thread-cell-ref (known-procedure 2)] [thread-cell-set! (known-procedure 4)] - [thread-cell-values? (known-procedure 2)] - [thread-cell? (known-procedure 2)] + [thread-cell-values? (known-procedure/pure 2)] + [thread-cell? (known-procedure/pure 2)] [thread-dead-evt (known-procedure 2)] [thread-dead? (known-procedure 2)] - [thread-group? (known-procedure 2)] + [thread-group? (known-procedure/pure 2)] [thread-receive (known-procedure 1)] - [thread-receive (known-procedure 1)] - [thread-receive-evt (known-procedure 1)] + [thread-receive-evt (known-procedure/pure 1)] [thread-resume (known-procedure 6)] [thread-resume-evt (known-procedure 2)] [thread-rewind-receive (known-procedure 2)] @@ -931,7 +926,7 @@ [thread-try-receive (known-procedure 1)] [thread-wait (known-procedure 2)] [thread/suspend-to-kill (known-procedure 2)] - [thread? (known-procedure 2)] + [thread? (known-procedure/pure 2)] [time-apply (known-procedure 4)] [true-object? (known-procedure/pure 2)] [truncate (known-procedure 2)] @@ -941,7 +936,7 @@ [unquoted-printing-string (known-procedure 2)] [unquoted-printing-string-value (known-procedure 2)] [unquoted-printing-string? (known-procedure 2)] - [values (known-procedure -1)] + [values (known-procedure -1)] ; not marked as pure, because it is not single valued [vector (known-procedure/pure -1)] [vector->immutable-vector (known-procedure 2)] [vector->list (known-procedure 2)] @@ -951,7 +946,7 @@ [vector-cas! (known-procedure 16)] [vector-copy! (known-procedure 56)] [vector-fill! (known-procedure 4)] - [vector-immutable (known-procedure -1)] + [vector-immutable (known-procedure/pure -1)] [vector-length (known-procedure 2)] [vector-ref (known-procedure 4)] [vector-set! (known-procedure 8)] @@ -964,9 +959,9 @@ [void (known-procedure/pure -1)] [void? (known-procedure/pure 2)] [weak-box-value (known-procedure 6)] - [weak-box? (known-procedure 2)] + [weak-box? (known-procedure/pure 2)] [will-execute (known-procedure 2)] - [will-executor? (known-procedure 2)] + [will-executor? (known-procedure/pure 2)] [will-register (known-procedure 8)] [will-try-execute (known-procedure 2)] [with-input-from-file (known-procedure 12)]