Create new `typed/test-engine' collection.

Remove dependence of `typed-scheme' on `test-engine'.

svn: r17567

collects/tests/typed-scheme/fail/check-expect-fail.ss

@@ -1,6 +1,6 @@
 #lang typed/scheme
 
-(require test-engine/scheme-tests)
+(require typed/test-engine/scheme-tests)
 (check-expect 3 (+ 1 'foo))
 
 (test)

collects/tests/typed-scheme/succeed/check-expect.ss

@@ -1,6 +1,6 @@
 #lang typed/scheme
 
-(require test-engine/scheme-tests)
+(require typed/test-engine/scheme-tests)
 (check-expect 3 4)
 
 (test)

collects/typed-scheme/private/base-special-env.ss

@@ -10,7 +10,7 @@
  (only-in scheme/match/runtime match:error)
  scheme/promise
  string-constants/string-constant
- (prefix-in ce: test-engine/scheme-tests)
+ ;(prefix-in ce: test-engine/scheme-tests)
  (for-syntax
   scheme/base syntax/parse
   (utils tc-utils)
@@ -76,37 +76,7 @@
   (-poly (a b) 
          (cl->*
           (-> (-lst a) (-val '()) (-lst a))
-          (-> (-lst a) (-lst b) (-lst (*Un a b)))))
+          (-> (-lst a) (-lst b) (-lst (*Un a b))))))
-  [(syntax-parse (local-expand #'(ce:test) 'expression null)
-                 #:context #'ce:test
-     [(_ ce-t:id) #'ce-t])
-   (-> -Void)]
-  
-  [(syntax-parse (local-expand #'(ce:check-expect 1 1) 'module #f)
-                 #:literals (let when define-values)
-    [(define-values _ 
-       (let ((_ _))
-         (when _ 
-           (insert-test _ (lambda () (check-values-expected _ _ _ _))))))
-     #'insert-test])
-   (Univ (-> Univ) . -> . -Void)]
-  [(syntax-parse (local-expand #'(ce:check-expect 1 1) 'module #f)
-                 #:literals (let when define-values)
-                 ;#:literal-sets (kernel-literals)
-    [(define-values _ 
-       (let ((_ _))
-         (when _ 
-           (insert-test _ (lambda () (check-values-expected _ _ _ _))))))
-     #'check-values-expected])
-   ((-> Univ) Univ Univ Univ . -> . -Void)]
-  [(syntax-parse (local-expand #'(ce:check-expect 1 1) 'module #f)
-                 #:literals (let when define-values)
-                 ;#:literal-sets (kernel-literals)
-    [(define-values _ 
-       (let ((_ (nvv _ _ builder _)))
-         _))
-     #'builder])
-   (-> Univ)])
      
      
      

collects/typed/test-engine/scheme-tests.ss

@@ -0,0 +1,5 @@
+#lang scheme/base
+
+(require test-engine/scheme-tests
+         "type-env-ext.ss")
+(provide (all-from-out test-engine/scheme-tests))

collects/typed/test-engine/type-env-ext.ss

@@ -0,0 +1,47 @@
+#lang scheme/base
+
+(require typed-scheme/utils/utils
+         (prefix-in ce: test-engine/scheme-tests)
+         (for-syntax
+          scheme/base syntax/parse
+          (utils tc-utils)
+          (env init-envs)          
+          (except-in (rep filter-rep object-rep type-rep) make-arr)
+          (types convenience union)
+          (only-in (types convenience) [make-arr* make-arr])))
+
+(define-for-syntax ce-env
+  (make-env   
+   ;; test*
+   [(syntax-parse (local-expand #'(ce:test) 'expression null)
+      #:context #'ce:test
+      [(_ ce-t:id) #'ce-t])
+    (-> -Void)]   
+   ;; insert-test
+   [(syntax-parse (local-expand #'(ce:check-expect 1 1) 'module #f)
+      #:literals (let when define-values)
+      [(define-values _ 
+         (let ((_ _))
+           (when _ 
+             (insert-test _ (lambda () (check-values-expected _ _ _ _))))))
+       #'insert-test])
+    (Univ (-> Univ) . -> . -Void)]
+   ;; check-values-expected
+   [(syntax-parse (local-expand #'(ce:check-expect 1 1) 'module #f)
+      #:literals (let when define-values)
+      [(define-values _ 
+         (let ((_ _))
+           (when _ 
+             (insert-test _ (lambda () (check-values-expected _ _ _ _))))))
+       #'check-values-expected])
+    ((-> Univ) Univ Univ Univ . -> . -Void)]
+   ;; builder
+   [(syntax-parse (local-expand #'(ce:check-expect 1 1) 'module #f)
+      #:literals (let when define-values)
+      [(define-values _ 
+         (let ((_ (nvv _ _ builder _)))
+           _))
+       #'builder])
+    (-> Univ)]))
+
+(begin-for-syntax (initialize-type-env ce-env))