change the contract opter so that unknown contracts don't pretend to be flat

2012-04-30 14:19:30 -05:00 · 2012-04-30 14:19:30 -05:00 · 05859765ad
commit 05859765ad
parent 4694a9874f
1 changed files with 1 additions and 3 deletions
--- a/collects/racket/contract/private/opt-guts.rkt
+++ b/collects/racket/contract/private/opt-guts.rkt
@ -184,9 +184,7 @@
                          (lambda (x) (error 'opt/unknown "flat called on an unknown that had no flat pred ~s ~s"
                                             lift-var
                                             x)))))))
-     (with-syntax ([val (opt/info-val opt/info)]
-                   [partial-flat-var partial-flat-var])
-       #'(partial-flat-var val))
+     #f
     lift-var
     null
     #f)))