Check struct predicate before checking fields.

original commit: 3b0de9c141edee84be57768a22b1ae3264fcc7f5
2010-09-02 16:28:10 -04:00 · 2010-09-02 16:28:10 -04:00 · 3e6ab819c6
commit 3e6ab819c6
parent 721c939b95
1 changed files with 2 additions and 0 deletions
--- a/collects/typed-scheme/private/type-contract.rkt
+++ b/collects/typed-scheme/private/type-contract.rkt
@ -196,6 +196,8 @@
                           #:projection 
                           (lambda (blame)
                             (lambda (val)
+                               (unless (#,pred? val)
+                                 (raise-blame-error blame val "expected ~a value, got ~v" 'cnt-name val))
                               (maker fld-cnts ...))))])
                  rec))]
           [else #`(flat-named-contract '#,(syntax-e pred?) #,(cert pred?))])]