From 39446d64d528c79f0a2ff2987aa12d1b3172018e Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 17 Feb 2015 16:15:34 -0500 Subject: [PATCH] Fix internal error format string in init-envs --- typed-racket-lib/typed-racket/env/init-envs.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/env/init-envs.rkt b/typed-racket-lib/typed-racket/env/init-envs.rkt index a9fbb5ee..b7321e55 100644 --- a/typed-racket-lib/typed-racket/env/init-envs.rkt +++ b/typed-racket-lib/typed-racket/env/init-envs.rkt @@ -78,7 +78,7 @@ `(->acc (list ,@(map sub dom)) ,(sub t) ,(sub pth))] [(Result: t (FilterSet: (Top:) (Top:)) (Empty:)) `(-result ,(sub t))] [(Union: elems) (split-union elems)] - [(Base: n cnt pred _) (int-err "Base type not in predefined-type-table" n)] + [(Base: n cnt pred _) (int-err "Base type ~a not in predefined-type-table" n)] [(Name: stx args struct?) `(make-Name (quote-syntax ,stx) ,(and args