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

Fix test names.

Browse Source
This commit is contained in:
Vincent St-Amour 2016-01-05 14:53:44 -06:00
parent 9b7724167a
commit ecce6e1b85
1 changed files with 24 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
pkgs/racket-test/tests/racket/contract/prof.rkt
View File

@ -43,35 +43,35 @@
(contract-eval '(require 'prof-fun)) (contract-eval '(require 'prof-fun))
(test/spec-passed (test/spec-passed
'provide/contract1 'contract-marks1
'((contract (-> neg-blame? any/c) (λ (x) x) 'pos 'neg) 1)) '((contract (-> neg-blame? any/c) (λ (x) x) 'pos 'neg) 1))
(test/spec-passed (test/spec-passed
'provide/contract2 'contract-marks2
'((contract (-> any/c pos-blame?) (λ (x) x) 'pos 'neg) 1)) '((contract (-> any/c pos-blame?) (λ (x) x) 'pos 'neg) 1))
(test/spec-passed (test/spec-passed
'provide/contract3 'contract-marks3
'(contract (vector/c pos-blame?) (vector 1) 'pos 'neg)) '(contract (vector/c pos-blame?) (vector 1) 'pos 'neg))
(test/spec-passed (test/spec-passed
'provide/contract4 'contract-marks4
'((contract (parameter/c pos-blame?) (make-parameter #f) 'pos 'neg))) '((contract (parameter/c pos-blame?) (make-parameter #f) 'pos 'neg)))
(test/spec-passed (test/spec-passed
'provide/contract5 'contract-marks5
'(contract (unconstrained-domain-> pos-blame?) (λ () 1) 'pos 'neg)) '(contract (unconstrained-domain-> pos-blame?) (λ () 1) 'pos 'neg))
(test/spec-passed (test/spec-passed
'provide/contract6 'contract-marks6
'(contract (->* () #:pre neg-blame? any) (λ () 1) 'pos 'neg)) '(contract (->* () #:pre neg-blame? any) (λ () 1) 'pos 'neg))
(test/spec-passed (test/spec-passed
'provide/contract7 'contract-marks7
'(contract (->* () any/c #:post pos-blame?) (λ () 1) 'pos 'neg)) '(contract (->* () any/c #:post pos-blame?) (λ () 1) 'pos 'neg))
(test/spec-passed/result (test/spec-passed/result
'provide/contract8 'contract-marks8
'(let () '(let ()
(eval '(module prof1 racket/base (eval '(module prof1 racket/base
(require racket/contract 'prof-fun) (require racket/contract 'prof-fun)
@ -85,7 +85,7 @@
11) 11)
(test/spec-passed/result (test/spec-passed/result
'provide/contract9 'contract-marks9
'(let () '(let ()
(eval '(module prof2 racket/base (eval '(module prof2 racket/base
(require racket/contract 'prof-fun) (require racket/contract 'prof-fun)
@ -98,7 +98,7 @@
11) 11)
(test/spec-passed/result (test/spec-passed/result
'provide/contract10 'contract-marks10
'(let () '(let ()
(eval '(module prof3 racket/base (eval '(module prof3 racket/base
(require racket/contract 'prof-fun) (require racket/contract 'prof-fun)
@ -111,21 +111,21 @@
11) 11)
(test/spec-passed (test/spec-passed
'provide/contract11 'contract-marks11
'(let () '(let ()
(struct posn (x y)) (struct posn (x y))
((contract (-> (struct/dc posn [x neg-blame?]) any/c) (λ (x) x) 'pos 'neg) ((contract (-> (struct/dc posn [x neg-blame?]) any/c) (λ (x) x) 'pos 'neg)
(posn 1 2)))) (posn 1 2))))
(test/spec-passed (test/spec-passed
'provide/contract12 'contract-marks12
'(let () '(let ()
(struct posn (x y)) (struct posn (x y))
((contract (-> any/c (struct/dc posn [x pos-blame?])) (λ (x) x) 'pos 'neg) ((contract (-> any/c (struct/dc posn [x pos-blame?])) (λ (x) x) 'pos 'neg)
(posn 1 2)))) (posn 1 2))))
(test/spec-passed (test/spec-passed
'provide/contract13 'contract-marks13
'(let () '(let ()
(struct posn (x y)) (struct posn (x y))
((contract (-> any/c (struct/dc posn [x pos-blame?] #:inv (x) pos-blame?)) ((contract (-> any/c (struct/dc posn [x pos-blame?] #:inv (x) pos-blame?))
@ -133,7 +133,7 @@
(posn 1 2)))) (posn 1 2))))
(test/spec-passed (test/spec-passed
'provide/contract14 'contract-marks14
'(let () '(let ()
(struct posn (x y) #:mutable) (struct posn (x y) #:mutable)
((contract (-> any/c (struct/dc posn [x pos-blame?])) ((contract (-> any/c (struct/dc posn [x pos-blame?]))
@ -141,7 +141,7 @@
(posn 1 2)))) (posn 1 2))))
(test/spec-passed (test/spec-passed
'provide/contract15 'contract-marks15
'(let () '(let ()
(struct posn (x y)) (struct posn (x y))
((contract (-> any/c (struct/dc posn [x #:lazy pos-blame?])) ((contract (-> any/c (struct/dc posn [x #:lazy pos-blame?]))
@ -149,7 +149,7 @@
(posn 1 2)))) (posn 1 2))))
(test/spec-passed (test/spec-passed
'provide/contract16 'contract-marks16
'(let () '(let ()
(struct posn (x y)) (struct posn (x y))
((contract (-> any/c (struct/dc posn ((contract (-> any/c (struct/dc posn
@ -159,7 +159,7 @@
(posn 1 2)))) (posn 1 2))))
(test/spec-passed (test/spec-passed
'provide/contract17 'contract-marks17
'(let () '(let ()
(struct posn (x y)) (struct posn (x y))
((contract (-> any/c (struct/dc posn ((contract (-> any/c (struct/dc posn
@ -169,7 +169,7 @@
(posn 1 2)))) (posn 1 2))))
(test/spec-passed (test/spec-passed
'provide/contract18 'contract-marks18
'(let () '(let ()
(struct posn (x y) #:mutable) (struct posn (x y) #:mutable)
((contract (-> any/c (struct/dc posn ((contract (-> any/c (struct/dc posn
@ -179,7 +179,7 @@
(posn 1 2)))) (posn 1 2))))
(test/spec-passed (test/spec-passed
'provide/contract19 'contract-marks19
'(let () '(let ()
(struct posn (x y)) (struct posn (x y))
((contract (-> any/c (struct/dc posn ((contract (-> any/c (struct/dc posn
@ -189,7 +189,7 @@
(posn 1 2)))) (posn 1 2))))
(test/spec-passed (test/spec-passed
'provide/contract20 'contract-marks20
'(let () '(let ()
(struct posn (x y) #:mutable) (struct posn (x y) #:mutable)
((contract (-> any/c (struct/dc posn ((contract (-> any/c (struct/dc posn
@ -199,25 +199,25 @@
(posn 1 2)))) (posn 1 2))))
(test/spec-passed (test/spec-passed
'provide/contract21 'contract-marks21
'(let () '(let ()
((contract (case-> (-> any/c any/c pos-blame?)) ((contract (case-> (-> any/c any/c pos-blame?))
(λ (x y) x) 'pos 'neg) (λ (x y) x) 'pos 'neg)
1 2))) 1 2)))
(test/spec-passed (test/spec-passed
'provide/contract22 'contract-marks22
'(let () '(let ()
((contract (case-> (-> neg-blame? any/c)) ((contract (case-> (-> neg-blame? any/c))
(λ (x) x) 'pos 'neg) (λ (x) x) 'pos 'neg)
1))) 1)))
(test/spec-passed (test/spec-passed
'provide/contract23 'contract-marks23
'(unbox (contract (box/c neg-blame?) (box 1) 'pos 'neg))) '(unbox (contract (box/c neg-blame?) (box 1) 'pos 'neg)))
(test/spec-passed (test/spec-passed
'provide/contract24 'contract-marks24
'(set-box! (contract (box/c neg-blame?) (box 1) 'pos 'neg) 2)) '(set-box! (contract (box/c neg-blame?) (box 1) 'pos 'neg) 2))
) )