
22 Aug
2007
22 Aug
'07
8:17 p.m.
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