Fix a TR internal error

original commit: 1468575c3db1c2e6faf31249f6540d7d147f7e58
2013-08-01 16:37:58 -04:00 · 2013-08-01 16:37:58 -04:00 · 6a0fe073b1
commit 6a0fe073b1
parent 91df513937
1 changed files with 1 additions and 1 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
@ -107,7 +107,7 @@
                      (if tail-bound (cons tail-ty tail-bound) #f)))
  (cond
    [(null? doms)
-     (int-err "How could doms be null: ~a ~a" ty)]
+     (int-err "How could doms be null: ~a" ty)]
    [(and (= 1 (length doms)) (not (car rests)) (not (car drests)) (not tail-ty) (not tail-bound))
     (tc-error/expr
      #:return return