Remove obselete file.
Use syntax/parse instead of stxclass. svn: r15983
This commit is contained in:
parent
184fbae9b2
commit
49b30f9055
|
@ -1,52 +0,0 @@
|
|||
(define files
|
||||
(list "basic-tests.ss"
|
||||
"area.ss"
|
||||
"barland.ss"
|
||||
"batched-queue.scm"
|
||||
"annotation-test.ss"
|
||||
"cl.ss"
|
||||
"do.ss"
|
||||
"foo.scm"
|
||||
"if-splitting-test.ss"
|
||||
"leftist-heap.ss"
|
||||
"let-values-tests.ss"
|
||||
"little-schemer.ss"
|
||||
"seasoned-schemer.ss"
|
||||
"manual-examples.ss"
|
||||
"mu-rec.ss"
|
||||
"struct-exec.ss"
|
||||
"pair-test.ss"
|
||||
"poly-struct.ss"
|
||||
"poly-tests.ss"
|
||||
"priority-queue.scm"
|
||||
"rec-types.ss"
|
||||
"require-tests.ss"
|
||||
#;"set-struct.ss"
|
||||
"typed-list.ss"
|
||||
"varargs-tests.ss"
|
||||
"vec-tests.ss"))
|
||||
|
||||
(define eli-files
|
||||
(map (lambda (s) (string-append "660-examples/" s))
|
||||
(list "slow.ss"
|
||||
"hw01.scm"
|
||||
"hw02.scm"
|
||||
"hw03.scm"
|
||||
"hw04.scm"
|
||||
"hw05.scm")))
|
||||
|
||||
(define (loader f) (with-handlers ([exn:fail? (lambda _ (printf "FAILED: ~a~n" f))])
|
||||
(load f)))
|
||||
|
||||
(require (planet "io.ss" ("dherman" "io.plt" 1)))
|
||||
|
||||
(define (count-lines f)
|
||||
(length (read-lines (open-input-file f))))
|
||||
|
||||
(define (go)
|
||||
(for-each loader files)
|
||||
(for-each loader eli-files))
|
||||
|
||||
(apply + (map count-lines (append files eli-files)))
|
||||
|
||||
(time (go))
|
|
@ -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"))))))
|
||||
|
|
|
@ -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)
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user