Move Typed Racket tests to their own package.
This commit is contained in:
parent
7f3ecd6e09
commit
1d89e18bca
3
pkgs/typed-racket-pkgs/typed-racket-tests/info.rkt
Normal file
3
pkgs/typed-racket-pkgs/typed-racket-tests/info.rkt
Normal file
|
@ -0,0 +1,3 @@
|
||||||
|
#lang setup/infotab
|
||||||
|
|
||||||
|
(define deps '("typed-racket"))
|
12
pkgs/typed-racket-pkgs/typed-racket-tests/tests/info.rkt
Normal file
12
pkgs/typed-racket-pkgs/typed-racket-tests/tests/info.rkt
Normal file
|
@ -0,0 +1,12 @@
|
||||||
|
#lang setup/infotab
|
||||||
|
|
||||||
|
(define name "Typed Racket Test Suite")
|
||||||
|
|
||||||
|
;; No need to compile the actual integration tests, just the harness.
|
||||||
|
(define compile-omit-paths
|
||||||
|
'("typed-racket/succeed"
|
||||||
|
"typed-racket/fail"
|
||||||
|
"typed-racket/xfail"
|
||||||
|
"typed-racket/optimizer" ;; FIXME: should be improved by stamourv
|
||||||
|
;; this file is weird
|
||||||
|
"typed-racket/unit-tests/special-env-typecheck-tests.rkt"))
|
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in New Issue
Block a user