From c4d183fcfc7f405e50a7593485011cbc717be3ef Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 28 Oct 2008 22:40:43 +0000 Subject: [PATCH] Less polymorphic type for `syntax->datum'. svn: r12163 --- collects/typed-scheme/private/base-env.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 0a8e44e6fd..1bcfa78f87 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -466,7 +466,7 @@ [datum->syntax (cl->* (-> (-opt (-Syntax Univ)) Sym (-Syntax Sym)) (-> (-opt (-Syntax Univ)) Univ (-Syntax Univ)))] -[syntax->datum (-poly (a) (-> (-Syntax a) Univ))] +[syntax->datum (-> (-Syntax Univ) Univ)] [syntax-e (-poly (a) (-> (-Syntax a) a))] [syntax-original? (-poly (a) (-> (-Syntax a) B))] [identifier? (make-pred-ty (-Syntax Sym))]