Add type for `make-reader-graph'.

original commit: 09f515dff4f1b97eb4e80e161eb182b5fed105f9
2011-09-04 08:34:19 -04:00 · 2011-09-04 08:34:19 -04:00 · e232403bac
commit e232403bac
parent 4641d7fff0
1 changed files with 3 additions and 0 deletions
--- a/collects/typed-racket/base-env/base-env.rkt
+++ b/collects/typed-racket/base-env/base-env.rkt
@ -2473,3 +2473,6 @@
 [will-register (-poly (a) (-> -Will-Executor a (-> a ManyUniv) -Void))]
 [will-execute (-> -Will-Executor ManyUniv)]
 [will-try-execute (-> -Will-Executor ManyUniv)]
+
+;; reader graphs
+[make-reader-graph (-> Univ Univ)]