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

Add type for dynamic-string-constants

Browse Source 
original commit: 2070726769f5aecb9c9b930b9adc869896197e3b
This commit is contained in:
Asumu Takikawa 2013-09-03 22:29:46 -04:00
parent 8928539c33
commit cfdb59469b
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -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)