suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Create new `typed/test-engine' collection.

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

svn: r17567

original commit: 0d46fcb48a2865dd8bae8e229e8ffb4e3a2c9521
This commit is contained in:
Sam Tobin-Hochstadt 2010-01-08 15:38:17 +00:00
parent e0ceba24a8
commit 9e17eab6d8
3 changed files with 4 additions and 34 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-scheme/fail/check-expect-fail.ss
View File

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

2
collects/tests/typed-scheme/succeed/check-expect.ss
View File

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

34
collects/typed-scheme/private/base-special-env.ss
View File

@ -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)))))
[(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)])
(-> (-lst a) (-lst b) (-lst (*Un a b))))))