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

Note code adapted from rackunit and improve type declarations

Browse Source
This commit is contained in:
Alexis King 2015-01-09 11:26:45 -08:00 committed by Sam Tobin-Hochstadt
parent f9b886f83b
commit ec946a8ba8
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
typed-racket-more/typed/rackunit/main.rkt
View File

@ -142,7 +142,8 @@
(define current-seed : (Parameter Seed)
(make-parameter #f))
(: test-suite-test-case-around (test-suite-handler-here -> ((Thunk Any) -> Any)))
; taken directly from rackunit/private/test-suite
(: test-suite-test-case-around (test-suite-handler-here -> ((Thunk Any) -> Void)))
(define (test-suite-test-case-around fhere)
(lambda (thunk)
(let* ([name (current-test-name)]
@ -150,7 +151,8 @@
[seed (current-seed)])
(current-seed (fhere test name thunk seed)))))
(: test-suite-check-around (test-suite-handler-here -> ((Thunk Any) -> Any)))
; taken directly from rackunit/private/test-suite
(: test-suite-check-around (test-suite-handler-here -> ((Thunk Any) -> Void)))
(define (test-suite-check-around fhere)
(lambda (thunk)
(let* ([name #f]
@ -158,6 +160,7 @@
[seed (current-seed)])
(current-seed (fhere test name thunk seed)))))
; adapted from rackunit/private/test-suite
(define-syntax (test-suite stx)
(syntax-parse stx
[(_ name:expr