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

Add memory fns.

Browse Source 
original commit: fae02be9f06aefd55c65211d2e95a07041ebfede
This commit is contained in:
Sam Tobin-Hochstadt 2010-09-08 11:32:04 -04:00
parent 8cdcde83cd
commit 1503fed8c3
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/base-env.rkt
View File

@ -640,6 +640,8 @@
[exit (-> (Un))]
[collect-garbage (-> -Void)]
[current-memory-use (-> -Nat)]
[dump-memory-stats (-> Univ)]
[module->namespace (-> (-mu x (-lst (Un -Symbol -String -Nat x (-val #f)))) -Namespace)]
[current-namespace (-Param -Namespace -Namespace)]