From dfdf86e5273899119e9ded19635b989c34077bfe Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 12 Aug 2015 19:21:21 -0400 Subject: [PATCH] Add identifier-binding-symbol to TR base-env --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 ++ 1 file changed, 2 insertions(+) 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 8cf63b3c..72f333ae 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -1592,6 +1592,8 @@ -Nat (-opt -Integer) (-opt -Integer))))] +[identifier-binding-symbol + (Ident . ->opt . [(Un -Int (-val #f))] -Symbol)] ;; Section 12.4 [set!-transformer? (-> Univ B)]