Add identifier-binding-symbol to TR base-env

2015-08-12 19:21:21 -04:00 · 2015-08-12 19:21:21 -04:00 · dfdf86e527
commit dfdf86e527
parent 2e97280335
1 changed files with 2 additions and 0 deletions
--- 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)]