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

fix a bug in f669c47c1

Browse Source
This commit is contained in:
Robby Findler 2014-09-22 15:20:26 -05:00
parent f669c47c1d
commit 379ed6b46e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
racket/collects/racket/contract/private/misc.rkt
View File

@ -514,7 +514,7 @@
(raise-listof-blame-error blame val (pe-listof-ctc? ctc) #f)))])))
(define (listof-val-first-projection ctc)
(define elem-proj (contract-val-first-projection (listof-ctc-elem-c ctc)))
(define elem-proj (get/build-val-first-projection (listof-ctc-elem-c ctc)))
(define pred? (if (pe-listof-ctc? ctc)
list?
non-empty-list?))