From a952f11bc58c343087f8abf15f89bb999191f0f3 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 10 Dec 2015 09:20:25 -0600 Subject: [PATCH] unbreak the creation of first-order contracts that don't supply a val-first projection --- racket/collects/racket/contract/private/prop.rkt | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/racket/collects/racket/contract/private/prop.rkt b/racket/collects/racket/contract/private/prop.rkt index 5e10eeada1..61c90bf389 100644 --- a/racket/collects/racket/contract/private/prop.rkt +++ b/racket/collects/racket/contract/private/prop.rkt @@ -281,9 +281,11 @@ get-val-first-projection (cond [first-order? - (or get-late-neg-projection - (λ (c) - (late-neg-first-order-projection (get-name c) (get-first-order c))))] + (cond + [get-late-neg-projection get-late-neg-projection] + [(and (not get-projection) (not get-val-first-projection)) + (λ (c) (late-neg-first-order-projection (get-name c) (get-first-order c)))] + [else #f])] [else get-late-neg-projection]) list-contract?))