suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix identifier-binding docs and types

Browse Source 
Closes PR 14262

Please merge to v6.0.1

original commit: 5eb1110040f73f21b68329c90fa3eee369dc5357
This commit is contained in:
Asumu Takikawa 2014-04-08 14:18:41 -04:00
parent 61396f79ae
commit c4b6f2d0ea
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -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))))]