From 55cb28168e8a54da3bc50a903b541693b4b5a917 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Tue, 25 Mar 2014 21:22:07 -0700 Subject: [PATCH] Add test case for PR12985. Closes PR 12985. --- .../tests/typed-racket/fail/pr12985.rkt | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/pr12985.rkt diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/pr12985.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/pr12985.rkt new file mode 100644 index 0000000000..b7e0ec8478 --- /dev/null +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/pr12985.rkt @@ -0,0 +1,12 @@ +#; +(exn-pred 2) +#lang typed/racket/base + +(define-type T (Rec T (U (Pair String T) (Pair Char T)))) +(define-type S (Rec S (Pair (U String Char) S))) + +(: f (S -> S)) +(: g (T -> T)) + +(define (f x) (cons "string" (cons #\a x))) +(define g f)