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

Rename to follow TR naming conventions.

Browse Source 
original commit: f6be5447dd7beb2a3bc769c35c9d3d5f8d2baf61
This commit is contained in:
Sam Tobin-Hochstadt 2011-06-24 20:20:53 -04:00
parent 91fea80cb6
commit 079a86457d
4 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-scheme/succeed/threads-and-channels.rkt
View File

@ -52,7 +52,7 @@
(: tc (ThreadCellof Integer))
(: tc (Thread-Cellof Integer))
(define tc (make-thread-cell 0))
(thread-cell-set! tc 1)

2
collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
View File

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

4
collects/typed-scheme/base-env/base-types.rkt
View File

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

4
collects/typed-scheme/scribblings/reference/types.scrbl
View File

@ -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}