diff --git a/racket/collects/racket/date.rkt b/racket/collects/racket/date.rkt index 026e23de8f..d27539ce9f 100644 --- a/racket/collects/racket/date.rkt +++ b/racket/collects/racket/date.rkt @@ -29,7 +29,7 @@ ;; current version only works until 2099 CE Gregorian (define date-display-format - (make-parameter 'american)) + (make-parameter 'american #f 'date-display-format)) (define (month/number->string x) (case x @@ -377,4 +377,4 @@ (car reversed-digits))) (loop (cdr (cdr (cdr reversed-digits)))))))))))) -(define julian/scaliger->string julian/scalinger->string) \ No newline at end of file +(define julian/scaliger->string julian/scalinger->string) diff --git a/racket/collects/racket/generator.rkt b/racket/collects/racket/generator.rkt index 2faa44bb3b..4b24231608 100644 --- a/racket/collects/racket/generator.rkt +++ b/racket/collects/racket/generator.rkt @@ -45,7 +45,9 @@ (define current-yielder (make-parameter (lambda (v) - (error 'yield "must be called in the context of a generator")))) + (error 'yield "must be called in the context of a generator")) + #f + 'current-yielder)) (define yield (case-lambda [() ((current-yielder))] diff --git a/racket/collects/racket/match/compiler.rkt b/racket/collects/racket/match/compiler.rkt index 950d08ff86..15bd034060 100644 --- a/racket/collects/racket/match/compiler.rkt +++ b/racket/collects/racket/match/compiler.rkt @@ -12,10 +12,10 @@ (provide compile*) ;; should we reorder stuff? -(define can-reorder? (make-parameter #t)) +(define can-reorder? (make-parameter #t #f 'can-reorder?)) ;; for non-linear patterns -(define vars-seen (make-parameter null)) +(define vars-seen (make-parameter null #f 'vars-seen)) (define (hash-on f elems #:equal? [eql #t]) (define-values (ht h-ref h-set!) diff --git a/racket/collects/racket/match/parse-helper.rkt b/racket/collects/racket/match/parse-helper.rkt index 6670301e87..f8831f67de 100644 --- a/racket/collects/racket/match/parse-helper.rkt +++ b/racket/collects/racket/match/parse-helper.rkt @@ -10,7 +10,7 @@ match-expander-transform trans-match trans-match* parse-struct dd-parse parse-quote parse-id in-splicing?) -(define in-splicing? (make-parameter #f)) +(define in-splicing? (make-parameter #f #f 'in-splicing?)) ;; parse x as a match variable ;; x : identifier diff --git a/racket/collects/racket/match/patterns.rkt b/racket/collects/racket/match/patterns.rkt index 9c8fe18f58..3b262fb44e 100644 --- a/racket/collects/racket/match/patterns.rkt +++ b/racket/collects/racket/match/patterns.rkt @@ -188,7 +188,7 @@ (foldr (λ (pat vars) (append (bound-vars (parse-id pat)) vars)) '() pats) bound-identifier=?)) -(define current-renaming (make-parameter (make-free-identifier-mapping))) +(define current-renaming (make-parameter (make-free-identifier-mapping) #f 'current-renaming)) (define (copy-mapping ht) (define new-ht (make-free-identifier-mapping)) diff --git a/racket/collects/racket/match/runtime.rkt b/racket/collects/racket/match/runtime.rkt index 21853d132f..d0e6522950 100644 --- a/racket/collects/racket/match/runtime.rkt +++ b/racket/collects/racket/match/runtime.rkt @@ -14,7 +14,7 @@ (define match-prompt-tag (make-continuation-prompt-tag 'match)) -(define match-equality-test (make-parameter equal?)) +(define match-equality-test (make-parameter equal? #f 'match-equality-test)) (define-struct (exn:misc:match exn:fail) (value srclocs) #:property prop:exn:srclocs (lambda (ex) (exn:misc:match-srclocs ex)) diff --git a/racket/collects/racket/match/stxtime.rkt b/racket/collects/racket/match/stxtime.rkt index 9c2a5e3fe2..1d33f19a4d 100644 --- a/racket/collects/racket/match/stxtime.rkt +++ b/racket/collects/racket/match/stxtime.rkt @@ -2,7 +2,7 @@ (provide (all-defined-out)) -(define match-...-nesting (make-parameter 0)) +(define match-...-nesting (make-parameter 0 #f 'match-...-nesting)) (struct acc-prop (n acc)) diff --git a/racket/collects/racket/private/serialize.rkt b/racket/collects/racket/private/serialize.rkt index 0a56edb8ee..49ccb75ee4 100644 --- a/racket/collects/racket/private/serialize.rkt +++ b/racket/collects/racket/private/serialize.rkt @@ -99,7 +99,9 @@ s)) (define deserialize-module-guard (make-parameter (lambda (mod-path sym) - (void)))) + (void)) + #f + 'deserialize-module-guard)) (define varref (#%variable-reference varref)) (define (collapse/resolve-module-path-index mpi deser-path->relative-path) diff --git a/racket/collects/racket/private/unit-syntax.rkt b/racket/collects/racket/private/unit-syntax.rkt index 71e50c3391..da83cb194d 100644 --- a/racket/collects/racket/private/unit-syntax.rkt +++ b/racket/collects/racket/private/unit-syntax.rkt @@ -7,7 +7,7 @@ (define bind-at #f) -(define error-syntax (make-parameter #f)) +(define error-syntax (make-parameter #f #f 'error-syntax)) (define raise-stx-err (case-lambda ((msg) (raise-syntax-error #f msg (error-syntax))) diff --git a/racket/collects/racket/require-transform.rkt b/racket/collects/racket/require-transform.rkt index 8653fcdcd5..c5f403f43a 100644 --- a/racket/collects/racket/require-transform.rkt +++ b/racket/collects/racket/require-transform.rkt @@ -83,7 +83,8 @@ (raise-argument-error 'current-require-module-path "(or/c module-path-index? #f)" v)) - v))) + v) + 'current-require-module-path)) ;; a simplified version of `collapse-module-path-index', where ;; we don't have to normalize: diff --git a/racket/collects/racket/syntax.rkt b/racket/collects/racket/syntax.rkt index ce0a72d1fc..11e554aa99 100644 --- a/racket/collects/racket/syntax.rkt +++ b/racket/collects/racket/syntax.rkt @@ -60,7 +60,7 @@ ;; == Disappeared uses == -(define current-recorded-disappeared-uses (make-parameter #f)) +(define current-recorded-disappeared-uses (make-parameter #f #f 'current-recorded-disappeared-uses)) (define-syntax-rule (with-disappeared-uses body-expr ... stx-expr) (let-values ([(stx disappeared-uses) @@ -164,7 +164,8 @@ (raise-argument-error 'current-syntax-context "(or/c syntax? #f)" new-value)) - new-value))) + new-value) + 'current-syntax-context)) (define (wrong-syntax stx #:extra [extras null] format-string . args) (unless (or (eq? stx #f) (syntax? stx)) diff --git a/racket/collects/racket/trace.rkt b/racket/collects/racket/trace.rkt index 0230940851..6adbaa6e44 100644 --- a/racket/collects/racket/trace.rkt +++ b/racket/collects/racket/trace.rkt @@ -13,8 +13,8 @@ (define max-dash-space-depth 10) (define number-nesting-depth 6) - (define current-prefix-out (make-parameter "<")) - (define current-prefix-in (make-parameter ">")) + (define current-prefix-out (make-parameter "<" #f 'current-prefix-out)) + (define current-prefix-in (make-parameter ">" #f 'current-prefix-in)) (define (as-spaces s) (make-string (string-length s) #\space)) @@ -70,7 +70,8 @@ (raise-argument-error 'current-trace-notify "(any/c . -> . any)" p)) - p))) + p) + 'current-trace-notify)) (define (as-trace-notify thunk) (let ([p (open-output-bytes)]) @@ -130,7 +131,9 @@ [else ;; In non-expression mode, just use `write': (pretty-write (append (cons name args) - (apply append (map list kws kw-vals))))])))))) + (apply append (map list kws kw-vals))))])))) + #f + 'current-trace-print-args)) (define -:trace-print-results (lambda (name results level) diff --git a/racket/src/cs/linklet.sls b/racket/src/cs/linklet.sls index 562bd48c01..0ea79a3f04 100644 --- a/racket/src/cs/linklet.sls +++ b/racket/src/cs/linklet.sls @@ -1105,13 +1105,13 @@ (include "linklet/cross-compile.ss") (define compile-enforce-module-constants - (make-parameter #t (lambda (v) (and v #t)))) + (make-parameter #t (lambda (v) (and v #t)) 'compile-enforce-module-constants)) (define compile-context-preservation-enabled - (make-parameter #f (lambda (v) (and v #t)))) + (make-parameter #f (lambda (v) (and v #t)) 'compile-context-preservation-enabled)) (define compile-allow-set!-undefined - (make-parameter #f (lambda (v) (and v #t)))) + (make-parameter #f (lambda (v) (and v #t)) 'compile-allow-set!-undefined)) (define current-compile-target-machine (make-parameter (machine-type) (lambda (v) @@ -1121,7 +1121,8 @@ (raise-argument-error 'current-compile-target-machine "(or/c #f (and/c symbol? compile-target-machine?))" v)) - v))) + v) + 'current-compile-target-machine)) (define (compile-target-machine? v) (unless (symbol? v) @@ -1131,10 +1132,10 @@ #t))) (define eval-jit-enabled - (make-parameter #t (lambda (v) (and v #t)))) + (make-parameter #t (lambda (v) (and v #t)) 'eval-jit-enabled)) (define load-on-demand-enabled - (make-parameter #t (lambda (v) (and v #t)))) + (make-parameter #t (lambda (v) (and v #t)) 'load-on-demand-enabled)) ;; -------------------------------------------------- diff --git a/racket/src/cs/linklet/read.ss b/racket/src/cs/linklet/read.ss index 126d351958..8f64e31753 100644 --- a/racket/src/cs/linklet/read.ss +++ b/racket/src/cs/linklet/read.ss @@ -15,7 +15,8 @@ (raise-argument-error 'read-on-demand-source "(or/c #f #t (and/c path? complete-path?))" v)) - v))) + v) + 'read-on-demand-source)) (define (adjust-linklet-bundle-laziness-and-paths ht) (let loop ([i (hash-iterate-first ht)]) diff --git a/racket/src/expander/common/module-path.rkt b/racket/src/expander/common/module-path.rkt index adfc93d26c..808e1594bf 100644 --- a/racket/src/expander/common/module-path.rkt +++ b/racket/src/expander/common/module-path.rkt @@ -463,7 +463,8 @@ (raise-argument-error 'current-module-name-resolver "(and/c (procedure-arity-includes/c 2) (procedure-arity-includes/c 4))" v)) - v))) + v) + 'current-module-name-resolver)) ;; ---------------------------------------- @@ -475,7 +476,8 @@ (raise-argument-error 'current-module-declare-name "(or/c #f resolved-module-path?)" r)) - r))) + r) + 'current-module-declare-name)) (define current-module-declare-source (make-parameter #f @@ -486,7 +488,8 @@ (raise-argument-error 'current-module-declare-source "(or/c #f symbol? (and/c path? complete-path?))" s)) - s))) + s) + 'current-module-declare-source)) (define (substitute-module-declare-name default-name) (define current-name (current-module-declare-name)) diff --git a/racket/src/expander/eval/module.rkt b/racket/src/expander/eval/module.rkt index 81e6cfe390..408688b909 100644 --- a/racket/src/expander/eval/module.rkt +++ b/racket/src/expander/eval/module.rkt @@ -33,7 +33,7 @@ ;; Modules that are defined via `embedded-load` can be "predefined", ;; because they can be defined in every place as the embedded load ;; is replayed in each place -(define current-module-declare-as-predefined (make-parameter #f)) +(define current-module-declare-as-predefined (make-parameter #f #f 'current-module-declare-as-predefined)) (define (eval-module c #:namespace [ns (current-namespace)] diff --git a/racket/src/expander/eval/parameter.rkt b/racket/src/expander/eval/parameter.rkt index 2669ec7f67..4203299a7f 100644 --- a/racket/src/expander/eval/parameter.rkt +++ b/racket/src/expander/eval/parameter.rkt @@ -24,25 +24,29 @@ (make-parameter (replace-me who) (lambda (p) (check who (procedure-arity-includes/c 1) p) - p))) + p) + 'current-eval)) (define/who current-compile (make-parameter (replace-me who) (lambda (p) (check who (procedure-arity-includes/c 2) p) - p))) + p) + 'current-compile)) (define/who current-load (make-parameter (replace-me who) (lambda (p) (check who (procedure-arity-includes/c 2) p) - p))) + p) + 'current-load)) (define/who current-load/use-compiled (make-parameter (replace-me who) (lambda (p) (check who (procedure-arity-includes/c 2) p) - p))) + p) + 'current-load/use-compiled)) (define/who current-library-collection-paths (make-parameter null @@ -52,7 +56,8 @@ (andmap complete-path-string? l))) #:contract "(listof (and/c path-string? complete-path?))" l) - (map to-path l)))) + (map to-path l)) + 'current-library-collection-paths)) (define/who current-library-collection-links (make-parameter null @@ -84,7 +89,8 @@ [else (for/hash ([(k v) (in-hash p)]) (values k (to-path v)))])) - l)))) + l)) + 'current-library-collection-links)) (define/who use-compiled-file-paths (make-parameter (list (string->path "compiled")) @@ -94,7 +100,8 @@ (andmap relative-path-string? l))) #:contract "(listof (and/c path-string? relative-path?))" l) - (map to-path l)))) + (map to-path l)) + 'use-compiled-file-paths)) (define/who current-compiled-file-roots (make-parameter '(same) @@ -107,7 +114,8 @@ l))) #:contract "(listof (or/c path-string? 'same))" l) - (map to-path l)))) + (map to-path l)) + 'current-compiled-file-roots)) (define/who use-compiled-file-check (make-parameter 'modify-seconds @@ -115,13 +123,14 @@ (check who (lambda (v) (or (eq? v 'modify-seconds) (eq? v 'exists))) #:contract "(or/c 'modify-seconds 'exists)" v) - v))) + v) + 'use-compiled-file-check)) (define use-collection-link-paths - (make-parameter #t (lambda (v) (and v #t)))) + (make-parameter #t (lambda (v) (and v #t)) 'use-collection-link-paths)) (define use-user-specific-search-paths - (make-parameter #t (lambda (v) (and v #t)))) + (make-parameter #t (lambda (v) (and v #t)) 'use-user-specific-search-paths)) (define (complete-path-string? p) (and (path-string? p) (complete-path? p))) diff --git a/racket/src/expander/expand/context.rkt b/racket/src/expander/expand/context.rkt index aeb26dc86d..06d2366dd2 100644 --- a/racket/src/expander/expand/context.rkt +++ b/racket/src/expander/expand/context.rkt @@ -159,7 +159,8 @@ (raise-argument-error 'current-expand-observe "(or/c (procedure-arity-includes/c 2) #f)" v)) - v))) + v) + 'current-expand-observe)) ;; ---------------------------------------- diff --git a/racket/src/expander/expand/missing-module.rkt b/racket/src/expander/expand/missing-module.rkt index 5dbf33c1c8..978e42df0e 100644 --- a/racket/src/expander/expand/missing-module.rkt +++ b/racket/src/expander/expand/missing-module.rkt @@ -47,7 +47,8 @@ " (and/c syntax? (lambda (stx) (module-path? (syntax->datum stx))))" " #f)") v)) - v))) + v) + 'current-module-path-for-load)) (define (maybe-raise-missing-module name filename pre rel post errstr) (define path (current-module-path-for-load)) diff --git a/racket/src/expander/namespace/namespace.rkt b/racket/src/expander/namespace/namespace.rkt index 7be10cb74f..2932bf7cda 100644 --- a/racket/src/expander/namespace/namespace.rkt +++ b/racket/src/expander/namespace/namespace.rkt @@ -130,7 +130,8 @@ (raise-argument-error 'current-namespace "namespace?" v)) - v))) + v) + 'current-namespace)) (define (namespace-get-root-expand-ctx ns) (force (unbox (namespace-root-expand-ctx ns)))) diff --git a/racket/src/expander/read/primitive-parameter.rkt b/racket/src/expander/read/primitive-parameter.rkt index 0f316b28ac..06681ff9c1 100644 --- a/racket/src/expander/read/primitive-parameter.rkt +++ b/racket/src/expander/read/primitive-parameter.rkt @@ -11,12 +11,13 @@ (raise-argument-error 'current-reader-guard "(procedure-arity-includes/c 1)" v)) - v))) + v) + 'current-reader-guard)) (define-syntax-rule (define-boolean-parameter id val) (begin (provide id) - (define id (make-parameter val (lambda (v) (and v #t)))))) + (define id (make-parameter val (lambda (v) (and v #t)) 'id)))) ;; (define-boolean-parameter read-case-sensitive #t) - shared with printer (define-boolean-parameter read-square-bracket-as-paren #t) diff --git a/racket/src/expander/read/readtable-parameter.rkt b/racket/src/expander/read/readtable-parameter.rkt index 1cf65cd266..c2b29b5e06 100644 --- a/racket/src/expander/read/readtable-parameter.rkt +++ b/racket/src/expander/read/readtable-parameter.rkt @@ -10,4 +10,5 @@ (define/who current-readtable (make-parameter #f (lambda (v) (check who prop:readtable? #:or-false v) - v))) + v) + 'current-readtable)) diff --git a/racket/src/expander/run/cache.rkt b/racket/src/expander/run/cache.rkt index 79bd5e8b1b..a49c641710 100644 --- a/racket/src/expander/run/cache.rkt +++ b/racket/src/expander/run/cache.rkt @@ -24,7 +24,7 @@ dependencies) ; list of key #:prefab) -(define current-cache-layer (make-parameter #f)) +(define current-cache-layer (make-parameter #f #f 'current-cache-layer)) ;; A cache later collects immediate dependencies ;; for a module as it is compiled diff --git a/racket/src/expander/run/linklet.rkt b/racket/src/expander/run/linklet.rkt index 90358b4d0c..78b90b6503 100644 --- a/racket/src/expander/run/linklet.rkt +++ b/racket/src/expander/run/linklet.rkt @@ -310,7 +310,7 @@ (define orig-eval (current-eval)) (define orig-compile (current-compile)) -(define linklet-compile-to-s-expr (make-parameter #f)) +(define linklet-compile-to-s-expr (make-parameter #f #f 'linklet-compile-to-s-expr)) ;; Compile to a serializable form (define (compile-linklet c [name #f] [import-keys #f] [get-import (lambda (key) (values #f #f))] [options '(serializable)]) diff --git a/racket/src/expander/syntax/tamper.rkt b/racket/src/expander/syntax/tamper.rkt index 13fc082fb7..e01afb5a86 100644 --- a/racket/src/expander/syntax/tamper.rkt +++ b/racket/src/expander/syntax/tamper.rkt @@ -54,7 +54,7 @@ (if (tamper-armed? t) 'armed t)) ;; Set during deserialize to select a code inspector: -(define current-arm-inspectors (make-parameter (seteq))) +(define current-arm-inspectors (make-parameter (seteq) #f 'current-arm-inspectors)) (define (deserialize-tamper t) (if (eq? t 'armed) (current-arm-inspectors) t)) diff --git a/racket/src/io/host/bootstrap.rkt b/racket/src/io/host/bootstrap.rkt index 28b1be04e3..756cdcf0c6 100644 --- a/racket/src/io/host/bootstrap.rkt +++ b/racket/src/io/host/bootstrap.rkt @@ -49,13 +49,13 @@ (thread (lambda () (sync nack) ((control-state-evt-abandon cse)))) (control-state-evt-evt cse))))) -(define current-async-semaphore (make-parameter #f)) +(define current-async-semaphore (make-parameter #f #f 'current-async-semaphore)) (define (async-evt) (or (current-async-semaphore) (error 'async-evt "not in a `poller` callback"))) -(define current-kill-callbacks (make-parameter '())) +(define current-kill-callbacks (make-parameter '() #f 'current-kill-callbacks)) (define (thread-push-kill-callback! p) (current-kill-callbacks (cons p (current-kill-callbacks)))) diff --git a/racket/src/io/port/count.rkt b/racket/src/io/port/count.rkt index 46273822a4..5687efa8b5 100644 --- a/racket/src/io/port/count.rkt +++ b/racket/src/io/port/count.rkt @@ -24,7 +24,7 @@ port-count-byte-all!) (define port-count-lines-enabled - (make-parameter #f (lambda (v) (and v #t)))) + (make-parameter #f (lambda (v) (and v #t)) 'port-count-lines-enabled)) (define (finish-port/count p) (when (port-count-lines-enabled) diff --git a/racket/src/io/port/handler.rkt b/racket/src/io/port/handler.rkt index f82ee99fe0..02f9a00fb7 100644 --- a/racket/src/io/port/handler.rkt +++ b/racket/src/io/port/handler.rkt @@ -142,7 +142,8 @@ p) (if (procedure-arity-includes? p 3) p - (lambda (v o [quote-depth 0]) (p v o)))))) + (lambda (v o [quote-depth 0]) (p v o)))) + 'global-port-print-handler)) (void (install-do-global-print! global-port-print-handler default-global-port-print-handler)) diff --git a/racket/src/thread/bootstrap.rkt b/racket/src/thread/bootstrap.rkt index 5429e07892..f403625493 100644 --- a/racket/src/thread/bootstrap.rkt +++ b/racket/src/thread/bootstrap.rkt @@ -151,7 +151,7 @@ [(v) (unsafe-place-local-set! l v)])) (define initial-place-local-table (make-hasheq)) -(define place-local-table (make-parameter initial-place-local-table)) +(define place-local-table (make-parameter initial-place-local-table #f 'place-local-table)) (define (unsafe-make-place-local v) (define key (vector v 'place-locale)) diff --git a/racket/src/thread/sync.rkt b/racket/src/thread/sync.rkt index f8dfdc84da..7c5266a7a1 100644 --- a/racket/src/thread/sync.rkt +++ b/racket/src/thread/sync.rkt @@ -672,7 +672,8 @@ (make-parameter (make-pseudo-random-generator) (lambda (v) (check who pseudo-random-generator? v) - v))) + v) + 'current-evt-pseudo-random-generator)) ;; rotates the order of syncers in `s` to implement fair selection: (define (random-rotate-syncing! s)