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

fix type of 'string-environment-variable-name?' (#558)

Browse Source 
it had a nonsensical type before
This commit is contained in:
Andrew Kent 2017-06-13 15:10:58 +01:00 committed by Sam Tobin-Hochstadt
parent 6e3c509a86
commit 80d8b2ddb7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -3001,7 +3001,7 @@
[environment-variables-ref (-> -Environment-Variables -Bytes (-opt -Bytes))]
[environment-variables-set! (->opt -Environment-Variables -Bytes (-opt -Bytes) [(-> Univ)] Univ)]
[environment-variables-names (-> -Environment-Variables (-lst -Bytes))]
[string-environment-variable-name? (asym-pred Univ B (-PS (-is-type 0 -) -tt))]
[string-environment-variable-name? (asym-pred Univ B (-PS (-is-type 0 -String) -tt))]
[getenv (-> -String (Un -String (-val #f)))]
[putenv (-> -String -String B)]