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}