From c4b6f2d0ea0110203d07570e0a4e59083d9dd4fe Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 8 Apr 2014 14:18:41 -0400 Subject: [PATCH] Fix `identifier-binding` docs and types Closes PR 14262 Please merge to v6.0.1 original commit: 5eb1110040f73f21b68329c90fa3eee369dc5357 --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index 105d5143..d170fcf7 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -1342,7 +1342,7 @@ -Symbol -Module-Path-Index -Symbol - (Un (-val 0) (-val 1)) + -Nat (-opt -Integer) (-opt -Integer))))] [identifier-transformer-binding @@ -1352,7 +1352,7 @@ -Symbol -Module-Path-Index -Symbol - (Un (-val 0) (-val 1)) + -Nat (-opt -Integer) (-opt -Integer))))] [identifier-template-binding @@ -1362,7 +1362,7 @@ -Symbol -Module-Path-Index -Symbol - (Un (-val 0) (-val 1)) + -Nat (-opt -Integer) (-opt -Integer))))] [identifier-label-binding @@ -1372,7 +1372,7 @@ -Symbol -Module-Path-Index -Symbol - (Un (-val 0) (-val 1)) + -Nat (-opt -Integer) (-opt -Integer))))]