From 14a32177efff497877f26492cbeecffe6dac3cc9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Sat, 16 Jan 2016 01:06:39 +0100 Subject: [PATCH] Fixed types for tests in map.rkt. --- graph-lib/graph/map.rkt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/graph-lib/graph/map.rkt b/graph-lib/graph/map.rkt index 1bdf77da..0f936097 100644 --- a/graph-lib/graph/map.rkt +++ b/graph-lib/graph/map.rkt @@ -292,22 +292,22 @@ : (Listof Number) '(1 2 3)) (check-equal?: (map: cdr '((1 b x) (2 c) (3 d))) - : (Listof Number) + : (Listof (Listof Symbol)) '((b x) (c) (d))) (check-equal?: (map: car (map: cdr '((1 b x) (2 c) (3 d)))) - : (Listof Number) + : (Listof Symbol) '(b c d)) (check-equal?: (map: (compose) '((1 b x) (2 c) (3 d))) - : (Listof Number) + : (Listof (Listof (U Number Symbol))) '((1 b x) (2 c) (3 d))) (check-equal?: (map: (compose car) '((1 b x) (2 c) (3 d))) : (Listof Number) '(1 2 3)) (check-equal?: (map: (compose cdr) '((1 b x) (2 c) (3 d))) - : (Listof Number) + : (Listof (Listof Symbol)) '((b x) (c) (d))) (check-equal?: (map: (compose car cdr) '((1 b x) (2 c) (3 d))) - : (Listof Number) + : (Listof Symbol) '(b c d)) (check-equal?: (map: (compose add1 car) '((1 b x) (2 c) (3 d))) : (Listof Number)