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

Added types for environment and runtime operations.

Browse Source 
original commit: ad247b28b62260441ae22702d9ed6cd604b0c8da
This commit is contained in:
Eric Dobson 2011-06-17 20:19:31 -04:00 committed by Sam Tobin-Hochstadt
parent e814d4df15
commit b3f46c1cdc
1 changed files with 18 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
collects/typed-scheme/base-env/base-env.rkt
View File

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