From a57d49ecb76bbea0985acc657be11a9c61a0c08d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sun, 8 May 2011 15:07:56 -0400 Subject: [PATCH] Add type for `error-display-handler' original commit: 27aa3f7556fb9062290abfe58acf3812655a9d9d --- collects/typed-scheme/private/base-env.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt index 9392bd3f..49f7cd84 100644 --- a/collects/typed-scheme/private/base-env.rkt +++ b/collects/typed-scheme/private/base-env.rkt @@ -286,6 +286,8 @@ (make-arr (list Sym -String) (Un) #:rest Univ) (make-arr (list -String) (Un) #:rest Univ) (make-arr (list Sym) (Un))))) +[error-display-handler (-Param (-polydots (a) (-String Univ . -> . Univ)) + (-polydots (a) (-String Univ . -> . Univ)))] [namespace-variable-value (Sym [Univ (-opt (-> Univ)) -Namespace] . ->opt . Univ)]