Re: [racket] Typed Racket: Defining a sequence predicate

Hi again, Thank you for the quick and helpful response! This is a bug; it should give you roughly the same error as above, but for the different reason. The problem is that we'd need to check *every* element of the sequence to make sure it had the right type, which a simple predicate can't do

[racket] Typed Racket: Defining a sequence predicate

Hi, I recently discovered Typed Racket and am having a lot of fun with it. Occurrence typing is pretty amazing. I've stumbled across a couple of problems when trying to use dictionaries and sequences, though. In particular, I'm currently having trouble defining a predicate for the (Sequenceof A