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

Adjust contract tests to allow first-order checks

Browse Source
This commit is contained in:
Asumu Takikawa 2016-06-03 13:40:24 -04:00
parent b338fc6b64
commit 7aea90242a
1 changed files with 11 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -115,16 +115,17 @@
(define namespace (ctc-namespace))
(define val (eval (quote val-expr) namespace))
(define fun-val (eval (quote fun-expr) namespace))
(define ctced-val
(eval #`(let ()
#,@(map (λ (stx) (syntax-shift-phase-level stx 1))
extra-stxs)
(contract #,(syntax-shift-phase-level ctc-stx 1)
#,val
#,(quote (quote #,pos))
#,(quote (quote #,neg))))
namespace))
(check (λ () (fun-val ctced-val))))))]))
(check (λ ()
(define ctced-val
(eval #`(let ()
#,@(map (λ (stx) (syntax-shift-phase-level stx 1))
extra-stxs)
(contract #,(syntax-shift-phase-level ctc-stx 1)
#,val
#,(quote (quote #,pos))
#,(quote (quote #,neg))))
namespace))
(fun-val ctced-val))))))]))
(define tests
(test-suite "Contract Tests"