I've pushed a fix for this, but I see that many other things don't
work right along these lines. For example, vectorness is not preserved
and probably none of the things except listness is preserved (from the
list of things here
http://docs.racket-lang.org/reference/sequences.html).
It's not too
I was running into a problem with using streams in typed racket, where I was
using the Sequenceof type to represent streams, and they got turned into
non-stream sequences, which don’t work for stream-specific operations.
I think what's causing it is this:
#lang racket
(define/contract my-stream
2 matches
Mail list logo
