Opened bug report.<div><a href="http://bugs.racket-lang.org/query/?cmd=view&amp;pr=12920" target="_blank">http://bugs.racket-lang.org/query/?cmd=view&amp;pr=12920</a><br><br><div class="gmail_quote">On Fri, Jul 20, 2012 at 12:43 PM, Sam Tobin-Hochstadt <span dir="ltr">&lt;<a href="mailto:samth@ccs.neu.edu" target="_blank">samth@ccs.neu.edu</a>&gt;</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 &lt;<a href="mailto:ray.racine@gmail.com" target="_blank">ray.racine@gmail.com</a>&gt; wrote:<br>



&gt; While it does work, there is definitely a loss of informative intent in the<br>
&gt; sense of the &quot;documentation&quot; to the human reader provided by the type<br>
&gt; signatures.  If define-type is strictly an aliasing then the original<br>
&gt; construction should work and its failure a bug.  Do you agree?  If so I&#39;ll<br>
&gt; 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>