The type of range is this: > (case-> > (-> Nonpositive-Integer Null) Why isn’t this (-> Nonpositive-Real Null) ? > (-> One (List One)) This is wrong, because (range 1) produces ‘(0), not ‘(1). It should be (-> One (List Zero)). > (-> Byte (Listof Byte)) > (-> Index (Listof Index)) > (-> Fixnum (Listof Fixnum)) Why isn’t this (-> Fixnum (Listof Nonnegative-Fixnum)) ? And why isn’t there a (-> Integer (Listof Nonnegative-Integer)) case in here? > (-> Real (Listof Integer)) Why isn’t this (-> Real (Listof Nonnegative-Integer)) ?
> (->* (Positive-Integer Byte) (Integer) (Listof Positive-Byte)) > (->* (Nonnegative-Integer Byte) (Integer) (Listof Byte)) > (->* (Positive-Integer Index) (Integer) (Listof Positive-Index)) > (->* (Nonnegative-Integer Index) (Integer) (Listof Index)) > (->* (Nonnegative-Integer Nonnegative-Fixnum) > (Integer) > (Listof Nonnegative-Fixnum)) > (->* (Positive-Integer Fixnum) (Nonnegative-Integer) (Listof > Positive-Fixnum)) > (->* (Nonnegative-Integer Fixnum) > (Nonnegative-Integer) > (Listof Nonnegative-Fixnum)) > (->* (Nonnegative-Integer Nonnegative-Integer) > (Integer) > (Listof Nonnegative-Integer)) > (->* (Positive-Integer Integer) > (Nonnegative-Integer) > (Listof Positive-Integer)) > (->* (Nonnegative-Integer Integer) > (Nonnegative-Integer) > (Listof Nonnegative-Integer)) > (->* (Integer Real) (Integer) (Listof Integer)) > (->* (Exact-Rational Real) (Exact-Rational) (Listof Exact-Rational)) > (->* (Flonum Real) (Flonum) (Listof Flonum)) > (->* (Single-Flonum Real) (Single-Flonum) (Listof Single-Flonum)) > (->* (Inexact-Real Real) (Inexact-Real) (Listof Inexact-Real)) > (->* (Real Real) (Real) (Listof Real))) ____________________ Racket Users list: http://lists.racket-lang.org/users
