diff --git a/collects/tests/typed-scheme/succeed/typed-scheme-no-check-arrow.rkt b/collects/tests/typed-scheme/succeed/typed-scheme-no-check-arrow.rkt
new file mode 100644
index 00000000..bfa511c1
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/typed-scheme-no-check-arrow.rkt
@@ -0,0 +1,3 @@
+#lang typed-scheme/no-check
+(: foo : Void -> Void)
+(define (foo x) x)
\ No newline at end of file
diff --git a/collects/typed-scheme/no-check.rkt b/collects/typed-scheme/no-check.rkt
index ed542f85..fb1ac85d 100644
--- a/collects/typed-scheme/no-check.rkt
+++ b/collects/typed-scheme/no-check.rkt
@@ -3,10 +3,11 @@
 (require 
  (except-in "private/prims.rkt"
             require/typed require/opaque-type require-typed-struct)
+ "private/base-types-extra.rkt"
  (for-syntax scheme/base syntax/parse syntax/struct))
 (provide (all-from-out scheme/base)
 	 (all-defined-out)
-	 (all-from-out "private/prims.rkt"))
+	 (all-from-out "private/prims.rkt" "private/base-types-extra.rkt"))
 
 
 (define-syntax (require/typed stx)