suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add type for this-language to fix test

Browse Source 
(also add a type for `all-languages`)
This commit is contained in:
Asumu Takikawa 2013-09-03 21:04:32 -04:00
parent 2ac73eee39
commit 099ca6cab9
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt
View File

@ -30,8 +30,13 @@
;; make-promise ;; make-promise
[(make-template-identifier 'delay 'racket/private/promise) [(make-template-identifier 'delay 'racket/private/promise)
(-poly (a) (-> (-> a) (-Promise a)))] (-poly (a) (-> (-> a) (-Promise a)))]
;; next three for string constants
[(make-template-identifier 'dynamic-string-constant 'string-constants/string-constant) [(make-template-identifier 'dynamic-string-constant 'string-constants/string-constant)
(-> -Symbol -String)] (-> -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 ;; qq-append
[(make-template-identifier 'qq-append 'racket/private/qq-and-or) [(make-template-identifier 'qq-append 'racket/private/qq-and-or)
(-poly (a b) (-poly (a b)