From cfdb59469b3b42182f5b4f24448ca09c80202af6 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 3 Sep 2013 22:29:46 -0400 Subject: [PATCH] Add type for `dynamic-string-constants` original commit: 2070726769f5aecb9c9b930b9adc869896197e3b --- .../typed-racket/base-env/base-special-env.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt index 31f85108..62968eb7 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt @@ -30,9 +30,11 @@ ;; make-promise [(make-template-identifier 'delay 'racket/private/promise) (-poly (a) (-> (-> a) (-Promise a)))] - ;; next three for string constants + ;; next four for string constants [(make-template-identifier 'dynamic-string-constant 'string-constants/string-constant) (-> -Symbol -String)] + [(make-template-identifier 'dynamic-string-constants 'string-constants/string-constant) + (-> -Symbol (-lst -String))] [(make-template-identifier 'this-language 'string-constants/string-constant) (-> -Symbol)] [(make-template-identifier 'all-languages 'string-constants/string-constant)