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

unbreak the creation of first-order contracts that

Browse Source 
don't supply a val-first projection
This commit is contained in:
Robby Findler 2015-12-10 09:20:25 -06:00
parent f5d5277ae7
commit a952f11bc5
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
racket/collects/racket/contract/private/prop.rkt
View File

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