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 <[email protected]> > > wrote: > > > > > > On Jun 12, 2015, at 8:30 PM, 'John Clements' via users-redirect > > <[email protected]> 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
