From 577b5225cd7eadda3ae17c62161474e2fb9ca05f Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 22 Jul 2015 16:29:39 -0400 Subject: [PATCH] Fix construction of promise contracts; broken in 5cd5f772. --- .../typed-racket/static-contracts/combinators/structural.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/static-contracts/combinators/structural.rkt b/typed-racket-lib/typed-racket/static-contracts/combinators/structural.rkt index ba8c418f..cd0089c2 100644 --- a/typed-racket-lib/typed-racket/static-contracts/combinators/structural.rkt +++ b/typed-racket-lib/typed-racket/static-contracts/combinators/structural.rkt @@ -153,7 +153,7 @@ ((set/sc (#:covariant #:chaperone)) set/c #:flat) ((vector/sc . (#:invariant)) vector/c #:chaperone) ((vectorof/sc (#:invariant)) vectorof #:chaperone) - ((promise/sc (#:covariant)) (and/c promise/c (not/c promise/name?)) #:chaperone) + ((promise/sc (#:covariant)) (λ (x) (and/c (promise/c x) (not/c promise/name?))) #:chaperone) ((syntax/sc (#:covariant #:flat)) syntax/c #:flat) ((hash/sc (#:invariant #:flat) (#:invariant)) hash/c #:chaperone) ((box/sc (#:invariant)) box/c #:chaperone)