Allow requiring functions with filters in contravariant positions.

frenchy64 · Apr 25, 2013 · dbcb141 · dbcb141
1 parent 03e1ffd
commit dbcb141
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/collects/tests/typed-racket/succeed/require-typed-contravariant-filter.rkt b/collects/tests/typed-racket/succeed/require-typed-contravariant-filter.rkt
@@ -0,0 +1,12 @@
+#lang racket/load
+
+(module untyped racket
+  (provide f)
+  (define (f g) 'g))
+
+
+(module typed typed/racket
+  (require/typed 'untyped
+    [f ((Any -> Boolean : Symbol) -> Symbol)]))
+
+(require 'typed)
diff --git a/collects/typed-racket/private/type-contract.rkt b/collects/typed-racket/private/type-contract.rkt
@@ -205,7 +205,7 @@
                               (and rst (t->c/neg rst))))]
                    ;; functions with filters or objects
                    [(arr: dom (Values: (list (Result: rngs _ _) ...)) rst #f '())
-                    (if (and from-typed? pos?)
+                    (if from-typed?
                         (values (map t->c/neg dom)
                                 null
                                 (map t->c rngs)