I've discovered what may be a bug in the type system of Typed Racket. The functions that round - (round), (truncate), (ceiling), etc. are typed as Real, not Integer; however, the result of (integer? (round (* 10e15 (random)))) is consistently true - and the same holds for the other rounding functions.
Is this intentional? If so, why? If it is (or even if it isn't), how can I transform the result of (random) to an Integer? - Petey
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev