Add test case for PR12985.

Closes PR 12985. original commit: 55cb28168e8a54da3bc50a903b541693b4b5a917
2014-03-25 21:22:07 -07:00 · 2014-03-25 21:22:07 -07:00 · d1ed0c066f
commit d1ed0c066f
parent 5f15a74891
1 changed files with 12 additions and 0 deletions
--- 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
@ -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)