I was not thinking of unsafe operations. Jos > -----Original Message----- > From: Vincent St-Amour [mailto:stamo...@ccs.neu.edu] > Sent: 13 December 2010 18:11 > To: Jos Koot > Cc: 'Vincent St-Amour'; 'Noel Welsh'; dev@racket-lang.org > Subject: Re: [racket-dev] (round), etc. in Typed Racket > > At Mon, 13 Dec 2010 17:29:11 +0100, > Jos Koot wrote: > > When multiplying any number (nan and inf excepted) by exact > 0, should, > > of course produce exact 0. > > If you're multiplying an integer that may or may not be zero (say, an > index) by a float, you cannot assume that the result is a > float, even though in all cases but one, it will be. If > you're using unsafe operations for performance reasons, this > can break if you're not entirely careful. > > Vincent
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev