From 80d8b2ddb7018a5b903cf6aa9ae3f40a5c8a0e37 Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Tue, 13 Jun 2017 15:10:58 +0100 Subject: [PATCH] fix type of 'string-environment-variable-name?' (#558) it had a nonsensical type before --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index 2aea9dfc..8ee2af17 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -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)]