I'm trying to convert a list of Reals into a list of Floats, and the natural choice is (map exact->inexact l). Unfortunately, it appears that exact->inexact produces Inexact-Reals, not flonums. Taking a look at the type expansions, I see that the difference is that Inexact-Real includes *single-*flonums. I'm guessing--and this is just a guess--that the only situation where exact->inexact will produce single-flonums is when it's *given* a single-flonum.
If I'm right, then it's safe for me to stick in a predicate that detects and fails on results that aren't flonums. If I'm wrong, then exact->inexact might spit out a single-flonum when given, say, 19. That would be a problem. Is my conjecture correct? I would suggest some kind of change to TR here, but honestly I can see that fixing this would probably be a big pain. John
smime.p7s
Description: S/MIME cryptographic signature
____________________ Racket Users list: http://lists.racket-lang.org/users
