Opened bug report.<div><a href="http://bugs.racket-lang.org/query/?cmd=view&pr=12920" target="_blank">http://bugs.racket-lang.org/query/?cmd=view&pr=12920</a><br><br><div class="gmail_quote">On Fri, Jul 20, 2012 at 12:43 PM, Sam Tobin-Hochstadt <span dir="ltr"><<a href="mailto:samth@ccs.neu.edu" target="_blank">samth@ccs.neu.edu</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>On Thu, Jul 19, 2012 at 8:11 PM, Ray Racine <<a href="mailto:ray.racine@gmail.com" target="_blank">ray.racine@gmail.com</a>> wrote:<br> > While it does work, there is definitely a loss of informative intent in the<br> > sense of the "documentation" to the human reader provided by the type<br> > signatures. If define-type is strictly an aliasing then the original<br> > construction should work and its failure a bug. Do you agree? If so I'll<br> > open a bug report.<br> <br> </div>This appears to be a bug -- TR complains about a non-regular type, but<br> the type is actually regular -- the right hand side of `Continuation`<br> just re-uses `A` and `D`. So filing a bug report would be great.<br> <span><font color="#888888"><br> --<br> sam th<br> <a href="mailto:samth@ccs.neu.edu" target="_blank">samth@ccs.neu.edu</a><br> </font></span></blockquote></div><br> </div>