From 099ca6cab93b67220125f98efa7dc706f59f0c84 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 3 Sep 2013 21:04:32 -0400 Subject: [PATCH] Add type for `this-language` to fix test (also add a type for `all-languages`) --- .../typed-racket/base-env/base-special-env.rkt | 5 +++++ 1 file changed, 5 insertions(+) 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 0c8d6f1aeb..a08ccd77b8 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,8 +30,13 @@ ;; make-promise [(make-template-identifier 'delay 'racket/private/promise) (-poly (a) (-> (-> a) (-Promise a)))] + ;; next three for string constants [(make-template-identifier 'dynamic-string-constant 'string-constants/string-constant) (-> -Symbol -String)] + [(make-template-identifier 'this-language 'string-constants/string-constant) + (-> -Symbol)] + [(make-template-identifier 'all-languages 'string-constants/string-constant) + (-> (-lst -Symbol))] ;; qq-append [(make-template-identifier 'qq-append 'racket/private/qq-and-or) (-poly (a b)