On Fri, Jun 12, 2015 at 06:06:05PM -0700, 'John Clements' via users-redirect wrote: > > > On Jun 12, 2015, at 5:52 PM, Alexander D. Knauth <alexan...@knauth.org> > > wrote: > > > > > > On Jun 12, 2015, at 8:30 PM, 'John Clements' via users-redirect > > <us...@plt-scheme.org> wrote: > > > >> Here’s the type I want to write: > >> > >> (define-type (HuffJsexpr T) > >> (U T (HashTable Symbol HuffJsexpr))) > > > > > > Do you mean this? > > (define-type (HuffJsexpr T) > > (U T (HashTable Symbol (HuffJsexpr T)))) > > D’oh! Can’t believe I missed that. > > Actually, I also can’t believe that TR allowed me to use a type constructor > without an argument like that.
Maybe the type definitions need to be type-checked, too? -- hendrik -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
