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

Add type for `make-reader-graph'.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2011-09-04 08:34:19 -04:00
parent 1a35809ee6
commit 09f515dff4
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-racket/base-env/base-env.rkt
View File

@ -2473,3 +2473,6 @@
[will-register (-poly (a) (-> -Will-Executor a (-> a ManyUniv) -Void))] [will-register (-poly (a) (-> -Will-Executor a (-> a ManyUniv) -Void))]
[will-execute (-> -Will-Executor ManyUniv)] [will-execute (-> -Will-Executor ManyUniv)]
[will-try-execute (-> -Will-Executor ManyUniv)] [will-try-execute (-> -Will-Executor ManyUniv)]
;; reader graphs
[make-reader-graph (-> Univ Univ)]