Check struct predicate before checking fields.

2010-09-02 16:28:10 -04:00 · 2010-09-02 16:28:10 -04:00 · 3b0de9c141
commit 3b0de9c141
parent 365a1275ce
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?))])]