suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update messages. Irritants are now highlighted, not circled.

Browse Source 
original commit: be67f304a80851fbdbc24db7f0797b2e0abce877
This commit is contained in:
Vincent St-Amour 2011-07-14 12:24:51 -04:00
parent 89217e6b02
commit 718e488786
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/optimizer/float.rkt
View File

@ -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?)

2
collects/typed-scheme/optimizer/pair.rkt
View File

@ -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.")