From dea93ab6032b157f2d4d09dcb156a66842058737 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Fri, 29 Sep 2017 17:59:46 +0200 Subject: [PATCH] Fixed another test --- macrotypes/examples/tests/mlish-tests.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/macrotypes/examples/tests/mlish-tests.rkt b/macrotypes/examples/tests/mlish-tests.rkt index 52647b2..ff3350d 100644 --- a/macrotypes/examples/tests/mlish-tests.rkt +++ b/macrotypes/examples/tests/mlish-tests.rkt @@ -388,9 +388,8 @@ (check-type (inst Cons (→/test X X)) : (→ (→/test X X) (List (→/test X X)) (List (→/test X X)))) (check-type map : (→/test (→ X Y) (List X) (List Y))) - (check-type (Cons (λ ([x : X]) x) Nil) - : (List (→/test {X} X X))) + : (?∀ {X} (List (→ X X)))) (define (nn [x : X] -> (→ (× X (→ Y Y)))) (λ () (tup x (λ ([x : Y]) x))))