.

original commit: c448e159586667c49601ce45d56f0eca0916c099
2003-09-26 21:43:04 +00:00 · 2003-09-26 21:43:04 +00:00 · d4d65ef3ed
commit d4d65ef3ed
parent caf4d822ce
1 changed files with 7 additions and 1 deletions
--- a/collects/mred/private/seqcontract.ss
+++ b/collects/mred/private/seqcontract.ss
@ -83,6 +83,11 @@
                                        [formals
                                         (cond
                                           [(predicate-name)
+                                            call
+                                            
+                                            ;; Doesn't do post-condition checking,
+                                            ;; since it isn't thread safe
+                                            #;
                                            (begin0
                                              call
                                              (unless (or (result-predicate-name) ...)
@ -91,7 +96,8 @@
                                                 "expected one of states ~s after calling ~s in state ~s"
                                                 '(result-predicate-state ...)
                                                 'method-name
-                                                 'state-name)))]
+                                                 'state-name)))
+                                            ]
                                           ...
                                           [else
                                            (sequence-contract-violation