Add memory fns.
This commit is contained in:
parent
350cef9af8
commit
fae02be9f0
|
@ -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)]
|
||||
|
|
Loading…
Reference in New Issue
Block a user