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

Add contract generation support for Async-Channelof

Browse Source
This commit is contained in:
Alexis King 2015-01-16 02:20:44 -08:00 committed by Sam Tobin-Hochstadt
parent 455bc7664b
commit b9e600dc1a
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
typed-racket-lib/typed-racket/private/type-contract.rkt
View File

@ -351,6 +351,7 @@
[(Box: t) (box/sc (t->sc/both t))]
[(Pair: t1 t2)
(cons/sc (t->sc t1) (t->sc t2))]
[(Async-Channel: t) (async-channel/sc (t->sc t))]
[(Promise: t)
(promise/sc (t->sc t))]
[(Opaque: p?)

7
typed-racket-lib/typed-racket/static-contracts/combinators/structural.rkt
View File

@ -12,9 +12,11 @@
(for-template racket/base
racket/contract/base
racket/set
racket/async-channel
unstable/contract
"../../utils/evt-contract.rkt")
racket/contract)
racket/contract
racket/async-channel)
(begin-for-syntax
@ -158,4 +160,5 @@
((sequence/sc . (#:covariant)) sequence/c #:impersonator)
((channel/sc . (#:invariant)) channel/c #:chaperone)
((continuation-mark-key/sc (#:invariant)) continuation-mark-key/c #:chaperone)
((evt/sc (#:covariant)) tr:evt/c #:chaperone))
((evt/sc (#:covariant)) tr:evt/c #:chaperone)
((async-channel/sc (#:invariant)) async-channel/c #:chaperone))