Re: [racket-users] How to set type signature for recursive lazy list

Thanks, following Ben's suggestion that follow code works #lang typed/racket ;; (require pfds/stream) ;; (define-type (OverFoldable A) (-> (Listof A) A)) ;; (define-type (FibStreamCons A) (-> (Listof A) (Stream A))) ;; (define-type (FibStream A) (-> (OverFoldable A) (Listof A) (Stream A))) ;;

Re: [racket-users] How to set type signature for recursive lazy list

On 7/14/21, Kiong-Gē Liāu wrote: > Thanks, following Ben's suggestion that follow code works Great! -- 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-user