[racket] Typed Racket - Recursive Types (Little help please)

Opened bug report.
http://bugs.racket-lang.org/query/?cmd=view&pr=12920

On Fri, Jul 20, 2012 at 12:43 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu>wrote:

> On Thu, Jul 19, 2012 at 8:11 PM, Ray Racine <ray.racine at gmail.com> wrote:
> > While it does work, there is definitely a loss of informative intent in
> the
> > sense of the "documentation" to the human reader provided by the type
> > signatures.  If define-type is strictly an aliasing then the original
> > construction should work and its failure a bug.  Do you agree?  If so
> I'll
> > open a bug report.
>
> This appears to be a bug -- TR complains about a non-regular type, but
> the type is actually regular -- the right hand side of `Continuation`
> just re-uses `A` and `D`.  So filing a bug report would be great.
>
> --
> sam th
> samth at ccs.neu.edu
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20120720/9cd4694d/attachment.html>