From 718e488786aeb8ccc2ca39e4508a905f661d7d87 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 14 Jul 2011 12:24:51 -0400 Subject: [PATCH] Update messages. Irritants are now highlighted, not circled. original commit: be67f304a80851fbdbc24db7f0797b2e0abce877 --- collects/typed-scheme/optimizer/float.rkt | 4 ++-- collects/typed-scheme/optimizer/pair.rkt | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/typed-scheme/optimizer/float.rkt b/collects/typed-scheme/optimizer/float.rkt index af2ee2c9..9e5d4b94 100644 --- a/collects/typed-scheme/optimizer/float.rkt +++ b/collects/typed-scheme/optimizer/float.rkt @@ -77,7 +77,7 @@ (define (log-float-real-missed-opt stx irritants) (log-missed-optimization "all args float-arg-expr, result not Float" - "This expression has a Real type. It would be better optimized if it had a Float type. To fix this, change the circled expression(s) to have Float type(s)." + "This expression has a Real type. It would be better optimized if it had a Float type. To fix this, change the highlighted expression(s) to have Float type(s)." stx irritants)) (define float-opt-msg "Float arithmetic specialization.") @@ -133,7 +133,7 @@ [e:arith-expr (log-missed-optimization "exact ops inside float expr" - "This expression has a Float type, but the circled subexpression(s) use exact arithmetic. The extra precision of the exact arithmetic will be lost. Using Float types in these subexpression(s) may result in performance gains without significant precision loss." + "This expression has a Float type, but the highlighted subexpression(s) use exact arithmetic. The extra precision of the exact arithmetic will be lost. Using Float types in these subexpression(s) may result in performance gains without significant precision loss." this-syntax subexpr)] [_ #f]))) safe-to-opt?) diff --git a/collects/typed-scheme/optimizer/pair.rkt b/collects/typed-scheme/optimizer/pair.rkt index cb812d7f..bef64473 100644 --- a/collects/typed-scheme/optimizer/pair.rkt +++ b/collects/typed-scheme/optimizer/pair.rkt @@ -36,7 +36,7 @@ (define (log-pair-missed-opt stx irritant) (log-missed-optimization "car/cdr on a potentially empty list" - "According to its type, the circled list could be empty. Access to it cannot be safely optimized. To fix this, restrict the type to non-empty lists, maybe by wrapping this expression in a check for non-emptiness." + "According to its type, the highlighted list could be empty. Access to it cannot be safely optimized. To fix this, restrict the type to non-empty lists, maybe by wrapping this expression in a check for non-emptiness." stx irritant)) (define pair-opt-msg "Pair check elimination.")