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

Prune argument types too in error messages.

Browse Source 
Closes PR 12907.
This commit is contained in:
Vincent St-Amour 2014-10-22 13:58:22 -04:00
parent d9f2a84951
commit 9c30da7682
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
View File

@ -72,10 +72,10 @@
(define (make-printable t)
(match t
[(tc-result1: t) t]
[(tc-results: ts) (-values ts)]
[(tc-result1: t) (cleanup-type t)]
[(tc-results: ts) (-values (map cleanup-type ts))]
[(tc-any-results: f) (-AnyValues -top)]
[_ t]))
[_ (cleanup-type t)]))
(define (stringify-domain dom rst drst [rng #f])
(let ([doms-string (if (null? dom) "" (string-append (stringify (map make-printable dom)) " "))]