
22 Aug
2007
22 Aug
'07
8:30 p.m.
On Thu, 2007-08-23 at 10:17 +1000, Donald Bruce Stewart wrote:
overdrigzed:
Using the fromInteger (and fromRational) axioms should only *increase* precission, I don't see how that is such a bad thing.
I think it's bad if the behaviour of your program depends on the optimisation level.
Isn't this how the thread started?
$ gcc t.c -o a $ ./a 100000000 zsh: segmentation fault (core dumped) ./a 100000000
$ gcc -O3 t.c -o b $ ./b 100000000 987459712
Don't make me pull out sum.