From 6a0fe073b171e7a40ea4419f668a83335c747f26 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 1 Aug 2013 16:37:58 -0400 Subject: [PATCH] Fix a TR internal error original commit: 1468575c3db1c2e6faf31249f6540d7d147f7e58 --- .../typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git 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 index 0c735ff0..0046bb7a 100644 --- 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