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

Make test files have mains that run the test case defined in them.

Browse Source 
original commit: 6bf7c4efd4c513c8143806f9f578ce1ba44010cd
This commit is contained in:
Eric Dobson 2013-10-08 23:15:53 -07:00
parent 7eb3ef16ef
commit 306a8b4e7b
12 changed files with 21 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt
View File

@ -8,6 +8,7 @@
(types abbrev numeric-tower union)
rackunit)
(provide tests)
(gen-test-main)
(define-syntax-rule (t e)

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt
View File

@ -3,8 +3,8 @@
rackunit
(types numeric-tower utils abbrev))
(provide tests)
(gen-test-main)
(define-syntax-rule (fv-t ty elems ...)
(let ([ty* ty])

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/interactive-tests.rkt
View File

@ -1,6 +1,7 @@
#lang racket/base
(require
"test-utils.rkt"
racket/base
racket/port
racket/promise
@ -11,6 +12,7 @@
syntax/parse))
(provide tests)
(gen-test-main)
(define promised-ns
(delay

1
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/keyword-expansion-test.rkt
View File

@ -6,6 +6,7 @@
racket/match racket/set
rackunit)
(provide tests)
(gen-test-main)
(define-syntax-rule (t arg expected)
(begin

1
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/parse-type-tests.rkt
View File

@ -13,6 +13,7 @@
racket/dict)
(provide tests)
(gen-test-main)
;; HORRIBLE HACK!
;; We are solving the following problem:

1
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/remove-intersect-tests.rkt
View File

@ -5,6 +5,7 @@
(types abbrev numeric-tower subtype union remove-intersect)
rackunit)
(provide tests)
(gen-test-main)
(define-syntax (over-tests stx)
(syntax-case stx ()

1
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/special-env-typecheck-tests.rkt
View File

@ -23,6 +23,7 @@
typed-racket/base-env/base-types
(for-syntax typed-racket/standard-inits))
(provide tests)
(gen-test-main)
(begin-for-syntax (do-standard-inits))

1
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subst-tests.rkt
View File

@ -5,6 +5,7 @@
(types utils abbrev numeric-tower substitute)
rackunit)
(provide tests)
(gen-test-main)
(define-syntax-rule (s img var tgt result)
(test-eq? "test" (substitute img 'var tgt) result))

1
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt
View File

@ -8,6 +8,7 @@
(for-syntax scheme/base))
(provide tests)
(gen-test-main)
(define-syntax (subtyping-tests stx)
(define (single-test stx)

9
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/test-utils.rkt
View File

@ -4,7 +4,7 @@
scheme/match
scheme/gui/dynamic
typed-racket/utils/utils
(for-syntax scheme/base)
(for-syntax scheme/base syntax/parse)
(types utils)
(rep type-rep)
rackunit rackunit/text-ui)
@ -25,3 +25,10 @@
(syntax-case stx ()
[(_ nm a b)
(syntax/loc stx (test-case nm (check-tc-result-equal?* a b)))]))
(define-syntax gen-test-main
(syntax-parser
[(stx:id)
#`(module* main #f
(require rackunit/text-ui)
(void (run-tests #,(datum->syntax #'stx 'tests))))]))

1
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-equal-tests.rkt
View File

@ -6,6 +6,7 @@
rackunit)
(provide tests)
(gen-test-main)
(define (-base x) (make-Base x #'dummy values #f))

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -55,12 +55,14 @@
(require
"evaluator.rkt"
"test-utils.rkt"
(for-syntax
racket/base
syntax/parse
'tester))
(provide tests)
(gen-test-main)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;