From 8c006da7630ea43eb5098f4f333974b87ab67a63 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 9 Apr 2015 05:48:01 -0600 Subject: [PATCH] remove `syntax-local-make-delta-introducer` --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index bd85b9dd..699f03ac 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -1661,7 +1661,6 @@ [syntax-local-introduce (-poly (a) (-> (-Syntax a) (-Syntax a)))] [make-syntax-introducer (-> (-poly (a) (-> (-Syntax a) (-Syntax a))))] [make-syntax-delta-introducer (->opt (-Syntax Univ) [(-opt (-Syntax Univ)) (-opt -Int)] (-poly (a) (-> (-Syntax a) (-Syntax a))))] -[syntax-local-make-delta-introducer (-> (-Syntax Sym) (-> (-Syntax Sym) (-Syntax Sym)))] [syntax-local-transforming-module-provides? (-> B)] [syntax-local-module-defined-identifiers (-> (-HT (Un (-val #f) -Int) (-lst (-Syntax Sym))))]