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

fix listof error reporting

Browse Source 
closes PR 13685

please merge to the release branch
This commit is contained in:
Robby Findler 2013-04-11 18:42:49 -05:00
parent 6cc0581dcd
commit e6122d5fbd
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -583,7 +583,7 @@
(define-syntax (*-listof stx)
(syntax-case stx ()
[(_ predicate? type-name name generate)
[(_ predicate? name generate)
(identifier? (syntax predicate?))
(syntax
(λ (input)
@ -599,8 +599,8 @@
(λ (val)
(unless (predicate? val)
(raise-blame-error blame val
'(expected: "~s" given "~e")
'type-name
'(expected: "~s" given: "~e")
'predicate?
val))
(check-all p-app val))))
(cond
@ -622,11 +622,11 @@
#:first-order fo-check
#:projection (ho-check (λ (p v) (map p v))))]))))]))
(define listof-func (*-listof list? list listof listof-generate))
(define listof-func (*-listof list? listof listof-generate))
(define/subexpression-pos-prop (listof x) (listof-func x))
(define (non-empty-list? x) (and (pair? x) (list? (cdr x))))
(define non-empty-listof-func (*-listof non-empty-list? non-empty-list non-empty-listof (λ (ctc) (make-generate-ctc-fail))))
(define non-empty-listof-func (*-listof non-empty-list? non-empty-listof (λ (ctc) (make-generate-ctc-fail))))
(define/subexpression-pos-prop (non-empty-listof a) (non-empty-listof-func a))
(define cons/c-main-function