From 079a86457d136c5c86830b1be1db838a5962cbdc Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 24 Jun 2011 20:20:53 -0400 Subject: [PATCH] Rename to follow TR naming conventions. original commit: f6be5447dd7beb2a3bc769c35c9d3d5f8d2baf61 --- collects/tests/typed-scheme/succeed/threads-and-channels.rkt | 2 +- collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt | 2 +- collects/typed-scheme/base-env/base-types.rkt | 4 ++-- collects/typed-scheme/scribblings/reference/types.scrbl | 4 ++-- 4 files changed, 6 insertions(+), 6 deletions(-) diff --git a/collects/tests/typed-scheme/succeed/threads-and-channels.rkt b/collects/tests/typed-scheme/succeed/threads-and-channels.rkt index 997499e1..b5edbe49 100644 --- a/collects/tests/typed-scheme/succeed/threads-and-channels.rkt +++ b/collects/tests/typed-scheme/succeed/threads-and-channels.rkt @@ -52,7 +52,7 @@ -(: tc (ThreadCellof Integer)) +(: tc (Thread-Cellof Integer)) (define tc (make-thread-cell 0)) (thread-cell-set! tc 1) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt index e758c07a..0ad26b9a 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt @@ -1293,7 +1293,7 @@ (tc-e (let: ((c : Custodian (current-custodian))) (custodian? c)) #:ret (ret B (-FS -top -bot))) - (tc-e (let: ((c : (CustodianBoxof Integer) (make-custodian-box (current-custodian) 1))) + (tc-e (let: ((c : (Custodian-Boxof Integer) (make-custodian-box (current-custodian) 1))) (custodian-box-value c)) -Int) ;Thread Groups diff --git a/collects/typed-scheme/base-env/base-types.rkt b/collects/typed-scheme/base-env/base-types.rkt index f271be34..4237ca3c 100644 --- a/collects/typed-scheme/base-env/base-types.rkt +++ b/collects/typed-scheme/base-env/base-types.rkt @@ -153,6 +153,6 @@ [MPairof (-poly (a b) (-mpair a b))] [MListof (-poly (a) (-mlst a))] [Sequenceof (-poly (a) (-seq a))] -[ThreadCellof (-poly (a) (-thread-cell a))] -[CustodianBoxof (-poly (a) (make-CustodianBox a))] +[Thread-Cellof (-poly (a) (-thread-cell a))] +[Custodian-Boxof (-poly (a) (make-CustodianBox a))] diff --git a/collects/typed-scheme/scribblings/reference/types.scrbl b/collects/typed-scheme/scribblings/reference/types.scrbl index 13843f33..8bdd8e2d 100644 --- a/collects/typed-scheme/scribblings/reference/types.scrbl +++ b/collects/typed-scheme/scribblings/reference/types.scrbl @@ -276,8 +276,8 @@ corresponding to @racket[trest], where @racket[bound] @defform[(Sequenceof t ...)]{A @rtech{sequence} that produces values of the types @racket[_t ...] on each iteration.} -@defform[(CustodianBoxof t)]{A @rtech{custodian box} of @racket[t].} -@defform[(ThreadCellof t)]{A @rtech{thread cell} of @racket[t].} +@defform[(Custodian-Boxof t)]{A @rtech{custodian box} of @racket[t].} +@defform[(Thread-Cellof t)]{A @rtech{thread cell} of @racket[t].} @section{Syntax Objects}