move late-neg projection warnings to the info level in the logger
because right now they are too noisy to be useful to anyone other than contract system maintainers. Once the problems inside the contract library itself is fixed, consider moving these back to warning
This commit is contained in:
parent
bcacb34110
commit
bfd2404328
|
@ -686,7 +686,7 @@
|
|||
(cond
|
||||
[(contract-struct-late-neg-projection ctc) => values]
|
||||
[else
|
||||
(log-racket/contract-warning "no late-neg-projection for ~s" ctc)
|
||||
(log-racket/contract-info "no late-neg-projection for ~s" ctc)
|
||||
(cond
|
||||
[(contract-struct-projection ctc)
|
||||
=>
|
||||
|
@ -723,7 +723,7 @@
|
|||
(define warn-about-val-first? (make-parameter #t))
|
||||
(define (maybe-warn-about-val-first ctc)
|
||||
(when (warn-about-val-first?)
|
||||
(log-racket/contract-warning
|
||||
(log-racket/contract-info
|
||||
"building val-first-projection of contract ~s for~a"
|
||||
ctc
|
||||
(build-context))))
|
||||
|
|
|
@ -291,7 +291,7 @@
|
|||
|
||||
(unless get-late-neg-projection
|
||||
(unless first-order?
|
||||
(log-racket/contract-warning
|
||||
(log-racket/contract-info
|
||||
"no late-neg-projection passed to ~s~a"
|
||||
proc-name
|
||||
(build-context))))
|
||||
|
@ -464,7 +464,7 @@
|
|||
|
||||
(unless late-neg-projection
|
||||
(unless first-order?
|
||||
(log-racket/contract-warning
|
||||
(log-racket/contract-info
|
||||
"no late-neg-projection passed to ~s~a"
|
||||
proc-name
|
||||
(build-context))))
|
||||
|
|
Loading…
Reference in New Issue
Block a user