Forgot to add the test for commit b4dd3b5e1dcb

Relevant to PR 13209 original commit: d7163142be1b1d1d1f92bb233a1734762205e0de
2012-11-29 18:08:33 -05:00 · 2012-11-29 18:08:33 -05:00 · c87dbd87a7
commit c87dbd87a7
parent 7969c012a3
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))))
+