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

Added type for collect-garbage.

Browse Source 
original commit: abee5a4db7633ccbc3daff77d5ab80594756bea3
This commit is contained in:
Vincent St-Amour 2010-07-14 18:25:51 -04:00
parent f3054a84c0
commit 9a06f49bce
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

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