~ chicken-core (chicken-5) 20950eaacb7f0f69ea40c1dbf48a49cd1615147c
commit 20950eaacb7f0f69ea40c1dbf48a49cd1615147c Author: megane <meganeka@gmail.com> AuthorDate: Wed Aug 21 08:28:59 2019 +0300 Commit: Peter Bex <peter@more-magic.net> CommitDate: Sun Sep 15 11:11:27 2019 +0200 * scrutinizer.scm: Inline always-immediate for readability Signed-off-by: Peter Bex <peter@more-magic.net> diff --git a/scrutinizer.scm b/scrutinizer.scm index 2b3d08f8..76b2e208 100644 --- a/scrutinizer.scm +++ b/scrutinizer.scm @@ -277,11 +277,6 @@ (r-cond-test-always-false loc if-node test-node) #t)) - (define (always-immediate var t loc) - (and-let* ((_ (type-always-immediate? t))) - (d "assignment to var ~a in ~a is always immediate" var loc) - #t)) - (define (single tv r-value-count-mismatch) (if (eq? '* tv) '* @@ -658,7 +653,8 @@ (loop (cdr bl) (or fl-found? (eq? fl (ble-tag ble)))))) (else (loop (cdr bl) fl-found?)))))) - (when (always-immediate var rt loc) + (when (type-always-immediate? rt) + (d " assignment to var ~a in ~a is always immediate" var loc) (set! assigned-immediates (add1 assigned-immediates)) (set-cdr! params '(#t)))Trap