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

Remove obselete file.

Browse Source 
Use syntax/parse instead of stxclass.

svn: r15983

original commit: 49b30f9055bbd996e86eafbfbd60aece4fe87f17
This commit is contained in:
Sam Tobin-Hochstadt 2009-09-11 22:17:45 +00:00
parent 2c3930216b
commit 391f497ebb
2 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/tests/typed-scheme/unit-tests/contract-tests.ss
View File

@ -7,8 +7,7 @@
(rep type-rep filter-rep object-rep)
(types utils union convenience)
(utils tc-utils mutated-vars)
(schemeunit)
stxclass)
(schemeunit))
(define-syntax-rule (t e)
(test-not-exn (format "~a" e) (lambda () (type->contract e (lambda _ (error "type could not be converted to contract"))))))

4
collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
View File

@ -12,7 +12,7 @@
(utils tc-utils mutated-vars)
(env type-name-env type-environments init-envs)
(schemeunit)
stxclass)
syntax/parse)
(require (for-syntax (utils tc-utils)
(typecheck typechecker)
@ -21,7 +21,7 @@
(for-template (private base-env base-types base-types-extra)))
(require (for-syntax syntax/kerncase stxclass))
(require (for-syntax syntax/kerncase syntax/parse))
(provide typecheck-tests g tc-expr/expand)