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

Revert "Revert "fix a bug in f669c47c1""

Browse Source 
This reverts commit 2e29a18039.

Reverted the wrong commit.
This commit is contained in:
Vincent St-Amour 2014-09-29 15:41:51 -04:00
parent 2e29a18039
commit e5fd7e504d
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

@ -564,7 +564,7 @@
(raise-listof-blame-error blame val (pe-listof-ctc? ctc) #f)))]))) (raise-listof-blame-error blame val (pe-listof-ctc? ctc) #f)))])))
(define (listof-val-first-projection ctc) (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) (define pred? (if (pe-listof-ctc? ctc)
list? list?
non-empty-list?)) non-empty-list?))