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

Suppress unwanted output in tests

Browse Source
This commit is contained in:
Georges Dupéron 2017-01-12 19:49:57 +01:00
parent facf11a615
commit d87b895cb1
1 changed files with 20 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
test/test-map.rkt
View File

@ -28,19 +28,22 @@
(void))
;; with ann
(ann (map (λ (x) (* x 2)) '()) Null)
(ann (map (λ (x) (* x 2)) '(1)) (Listof Positive-Byte))
(ann (map (λ (x) (* x 2)) '(1 2)) (Listof Positive-Index))
(ann (map (λ (x) (* x 2)) '(1 2 3)) (Listof Positive-Index))
(ann (map + '(1 2 3) '(4 5 6)) (Listof Positive-Index))
(ann (map car '((1 2) (3 4))) (Listof Positive-Byte))
(ann (map #λ(+ % 1) '(1 2 3)) (Listof Positive-Index))
(let ()
(ann (map (λ (x) (* x 2)) '()) Null)
(ann (map (λ (x) (* x 2)) '(1)) (Listof Positive-Byte))
(ann (map (λ (x) (* x 2)) '(1 2)) (Listof Positive-Index))
(ann (map (λ (x) (* x 2)) '(1 2 3)) (Listof Positive-Index))
(ann (map + '(1 2 3) '(4 5 6)) (Listof Positive-Index))
(ann (map car '((1 2) (3 4))) (Listof Positive-Byte))
(ann (map #λ(+ % 1) '(1 2 3)) (Listof Positive-Index))
(ann (map (λ (x) (define y x) (+ y 1)) '(1 2 3)) (Listof Positive-Index))
(ann (map (λ (x) (define y x) (+ y 1)) '(1 2 3)) (Listof Positive-Index))
(ann (λ #:∀ (A) ([l : (Listof A)])
(map (λ (x) x) l))
(∀ (A) (→ (Listof A) (Listof A))))
(ann (λ #:∀ (A) ([l : (Listof A)])
(map (λ (x) x) l))
(∀ (A) (→ (Listof A) (Listof A))))
(void))
;; with check-equal?
(check-equal? (map (λ (x) (* x 2)) '()) '())
@ -98,11 +101,12 @@
;; Does not work because the inferred type changes between the first and the
;; second iteration
#;(check-equal? (foldl (λ (x acc) (cons acc (add1 x))) '() '(1 2 3))
'(4 (3 (2))))
(foldl (λ (x [acc : (Rec R (U Null (Pairof R Positive-Index)))])
(cons acc (add1 x)))
'()
'(1 2 3))
'(((() . 4) . 3) . 2))
(check-equal? (foldl (λ (x [acc : (Rec R (U Null (Pairof R Positive-Index)))])
(cons acc (add1 x)))
'()
'(1 2 3))
'(((() . 4) . 3) . 2))
(let ()
(ann (foldl (λ (x acc) (cons (add1 x) acc)) '() '()) Null)