Here’s the type I want to write: (define-type (HuffJsexpr T) (U T (HashTable Symbol HuffJsexpr)))
… for use in converting a tree to a jsexpr. My memory was that this wasn’t possible in TR because TR would get caught in a loop trying to figure out how many times to “unfold” the type in order to make type-checking work. IIUC the best solution is just … not to try to do this in TR. Is that right? Many thanks, John -- 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.
