This program #lang typed/racket
(: seq (Sequenceof Byte)) (define seq (in-range 127)) ...yields this error: Type Checker: Expected (Sequenceof Byte), but got (Sequenceof Nonnegative-Fixnum) in: (define seq (in-range 127)) I'm wondering if there's a way to get (in-range 127) to type-check at the type (Sequenceof Byte). Naturally, I can make it typecheck by inserting a redundant "cond" at the point at which the values from the sequence are used. John
smime.p7s
Description: S/MIME cryptographic signature
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
