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

Make thread cell top type consistent with docs

Browse Source 
original commit: a440a46cce461783148ff2d84d75d2d0cbf5c23f
This commit is contained in:
Asumu Takikawa 2013-11-14 22:21:22 -05:00
parent f7f46e91cb
commit b25cdad3e9
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -110,7 +110,7 @@
[VectorTop -VectorTop]
[HashTableTop -HashTop]
[MPairTop -MPairTop]
[ThreadCellTop -ThreadCellTop]
[Thread-CellTop -Thread-CellTop]
[Prompt-TagTop -Prompt-TagTop]
[Continuation-Mark-KeyTop -Continuation-Mark-KeyTop]
[Keyword -Keyword]

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt
View File

@ -159,7 +159,7 @@
(define/decl -HashTop (make-HashtableTop))
(define/decl -VectorTop (make-VectorTop))
(define/decl -MPairTop (make-MPairTop))
(define/decl -ThreadCellTop (make-ThreadCellTop))
(define/decl -Thread-CellTop (make-ThreadCellTop))
(define/decl -Prompt-TagTop (make-Prompt-TagTop))
(define/decl -Continuation-Mark-KeyTop (make-Continuation-Mark-KeyTop))
(define/decl -Port (Un -Output-Port -Input-Port))