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

Revert "fix a bug in f669c47c1"

Browse Source 
This reverts commit 379ed6b46e.

Stupid robby experiment
This commit is contained in:
Matthias Felleisen 2014-09-29 12:00:52 -04:00
parent 6ccfbec2b9
commit 2e29a18039
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)))])))
(define (listof-val-first-projection ctc)
(define elem-proj (get/build-val-first-projection (listof-ctc-elem-c ctc)))
(define elem-proj (contract-val-first-projection (listof-ctc-elem-c ctc)))
(define pred? (if (pe-listof-ctc? ctc)
list?
non-empty-list?))