Forgot to add the test for commit b4dd3b5e1d

Relevant to PR 13209
2012-11-29 18:08:33 -05:00 · 2012-11-29 18:08:33 -05:00 · d7163142be
commit d7163142be
parent cf9b0f774b
1 changed files with 9 additions and 0 deletions
--- a/collects/tests/typed-racket/fail/pr13209.rkt
+++ b/collects/tests/typed-racket/fail/pr13209.rkt
@ -0,0 +1,9 @@
+#;
+(exn-pred exn:fail:syntax?)
+#lang typed/racket
+
+(struct: (α) leaf ({value : α}))
+(struct: (α) node ({left : [Tree α]} {right : [Tree α]}))
+
+(define-type (Tree α) (mu Tree (U (leaf α) (node Tree Tree))))
+