From b3f46c1cdc5700f6d64d6fec4c3ad19a2556cabc Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Fri, 17 Jun 2011 20:19:31 -0400 Subject: [PATCH] Added types for environment and runtime operations. original commit: ad247b28b62260441ae22702d9ed6cd604b0c8da --- collects/typed-scheme/base-env/base-env.rkt | 20 ++++++++++++++++++-- 1 file changed, 18 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/base-env/base-env.rkt b/collects/typed-scheme/base-env/base-env.rkt index 8c66a0ee..ef0d22a9 100644 --- a/collects/typed-scheme/base-env/base-env.rkt +++ b/collects/typed-scheme/base-env/base-env.rkt @@ -572,7 +572,6 @@ [unsafe-struct*-set! top-func] [continuation-mark-set-first (-> (-opt -Cont-Mark-Set) Univ Univ)] -[current-command-line-arguments (-Param (-vec -String) (-vec -String))] ;; Section 3.7 @@ -1086,8 +1085,25 @@ [current-memory-use (-> -Nat)] [dump-memory-stats (-> Univ)] - +;Section 14.7 [getenv (-> -String (Un -String (-val #f)))] +[putenv (-> -String -String B)] +[system-type + (cl->* + (-> (-val 'os) (Un (-val 'unix) (-val 'windows) (-val 'macosx))) + (-> (-val 'gc) (Un (-val 'cgc) (-val '3m))) + (-> (-val 'link) (Un (-val 'static) (-val 'shared) (-val 'dll) (-val 'framework))) + (-> (-val 'so-suffix) -Bytes) + (-> (-val 'machine) -String))] +[system-language+country (-> -String)] +[system-library-subpath (->opt [(Un (-val #f) (-val 'cgc) (-val '3m))] -Path)] + +[version (-> -String)] +[banner (-> -String)] + +[current-command-line-arguments (-Param (-vec -String) (-vec -String))] +[current-thread-initial-stack-size (-Param -PosInt -PosInt)] +;vector-set-performance-stats! TODO complicated ;; syntax operations