Re-enable test.

2010-05-27 12:46:29 -04:00 · 2010-05-27 12:46:29 -04:00 · 34fef6e538
commit 34fef6e538
parent 9701ae0065
1 changed files with 3 additions and 1 deletions
--- a/collects/tests/typed-scheme/unit-tests/type-annotation-test.rkt
+++ b/collects/tests/typed-scheme/unit-tests/type-annotation-test.rkt
@ -26,10 +26,12 @@
  (test-suite 
   "Type Annotation tests"
   ;; FIXME - ask Ryan
-   (tat (ann foo : Number) (ret -Number))
+   (tat (ann foo : Number) (ret -Number (make-NoFilter) (make-NoObject)))
   (tat foo #f)
   (tat (ann foo : 3) (ret (-val 3) (make-NoFilter) (make-NoObject)))))

 (define-go
  type-annotation-tests)

+
+