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

Change :print-type message.

Browse Source 
original commit: 93787f621596a2917c2abeb187b6923184825139
This commit is contained in:
Vincent St-Amour 2011-07-22 17:05:03 -04:00
parent ccda7b859c
commit 42e4fe3bb3
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/typed-scheme/core.rkt
View File

@ -43,6 +43,7 @@
(arm #`(#%module-begin optimized-body ... #,after-code check-syntax-help))))))]))
(define did-I-suggest-:print-type-already? #f)
(define :print-type-message " ... [Use (:print-type <expr>) to see more.]")
(define (ti-core stx)
(syntax-parse stx
[(_ . ((~datum module) . rest))
@ -68,7 +69,7 @@
(equal? tc t))
""
(begin (set! did-I-suggest-:print-type-already? #t)
"\nUse :print-type to see more."))))]
:print-type-message))))]
[(tc-results: t)
(define new-ts (map cleanup-type t))
(format "- : ~a~a\n"
@ -78,7 +79,7 @@
(andmap equal? t new-ts))
""
(begin (set! did-I-suggest-:print-type-already? #t)
" \nUse :print-type to see more.")))]
:print-type-message)))]
[x (int-err "bad type result: ~a" x)])])
(if ty-str
#`(let ([type '#,ty-str])