From 09f515dff4f1b97eb4e80e161eb182b5fed105f9 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sun, 4 Sep 2011 08:34:19 -0400 Subject: [PATCH] Add type for `make-reader-graph'. --- collects/typed-racket/base-env/base-env.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index 42efb05ade..8c4d4a2ead 100644 --- 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)] \ No newline at end of file