From cb71403e77dcfc817338d059435b66170f7b1b3f Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sun, 6 Jul 2014 17:19:59 -0700 Subject: [PATCH] Add test for pr14567. Closes PR 14567. It seems that this has been already fixed. original commit: 4aef86ce4fc74116475945c5a6ffb9348e1c65fe --- .../typed-racket-test/tests/typed-racket/succeed/pr14567.rkt | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14567.rkt diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14567.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14567.rkt new file mode 100644 index 00000000..4a51845c --- /dev/null +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14567.rkt @@ -0,0 +1,5 @@ +#lang typed/racket +(provide f) +(define-type C (Pair Number (Pair Number C))) +(: f (C -> Boolean)) +(define (f x) (list? x))