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

fix async-channel static contract in TR

Browse Source
This commit is contained in:
Stephen Chang 2014-06-30 10:50:02 -04:00
parent 2d3da47447
commit b7814e7eb1
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/derived.rkt
View File

@ -28,7 +28,7 @@
(define empty-hash/sc (and/sc hash?/sc (flat/sc #'(λ (h) (zero? (hash-count h))))))
(define channel?/sc (flat/sc #'channel?))
(define async-channel?/sc (flat/sc #'channel?))
(define async-channel?/sc (flat/sc #'async-channel?))
(define thread-cell?/sc (flat/sc #'thread-cell?))
(define prompt-tag?/sc (flat/sc #'continuation-prompt-tag?))
(define continuation-mark-key?/sc (flat/sc #'continuation-mark-key?))

1
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/make-top-predicate.rkt
View File

@ -1,4 +1,5 @@
#lang typed/racket
(require typed/racket/async-channel)
(make-predicate VectorTop)
(make-predicate BoxTop)