From 163f6c627f05e457f121372a9d876a3cc4e22d2e Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Wed, 30 Apr 2014 09:23:06 -0700 Subject: [PATCH] Add quotes to error messages from tc-apply. original commit: 209be3b9ac76ab3d611b5800aae0bd1c77426abf --- .../typed-racket-lib/typed-racket/typecheck/tc-apply.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt index c5d0ff98..448e712d 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt @@ -72,7 +72,7 @@ (domain-mismatches f args t doms rests drests rngs arg-tres tail-ty #f #:msg-thunk (lambda (dom) (string-append - "Bad arguments to function in apply:\n" + "Bad arguments to function in `apply':\n" dom)))))] ;; apply of simple polymorphic function [(tc-result1: (Poly: vars (Function: (list (arr: doms rngs rests drests (list (Keyword: _ _ #f) ...)) ..1)))) @@ -132,7 +132,7 @@ (domain-mismatches f args t doms rests drests rngs arg-tres tail-ty tail-bound #:msg-thunk (lambda (dom) (string-append - "Bad arguments to polymorphic function in apply:\n" + "Bad arguments to polymorphic function in `apply':\n" dom)))])))] [(tc-result1: (PolyDots: (and vars (list fixed-vars ... dotted-var)) (Function: (list (arr: doms rngs rests drests (list (Keyword: _ _ #f) ...)) ..1)))) @@ -202,7 +202,7 @@ (domain-mismatches f args t doms rests drests rngs arg-tres tail-ty tail-bound #:msg-thunk (lambda (dom) (string-append - "Bad arguments to polymorphic function in apply:\n" + "Bad arguments to polymorphic function in `apply':\n" dom)))])))] [(tc-result1: (or (Function: '()) (Poly: _ (Function: '())) (PolyDots: _ (Function: '())))) (tc-error/expr "Function has no cases")]