From b25cdad3e9f21b9643dcbaf76140ac631d9c3472 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 14 Nov 2013 22:21:22 -0500 Subject: [PATCH] Make thread cell top type consistent with docs original commit: a440a46cce461783148ff2d84d75d2d0cbf5c23f --- .../typed-racket-lib/typed-racket/base-env/base-types.rkt | 2 +- .../typed-racket-lib/typed-racket/types/abbrev.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-types.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-types.rkt index 3c1ae1df..3e0b7e32 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-types.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-types.rkt @@ -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] diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt index f0e17d89..d18d9e2f 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt @@ -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))